Slede: Framework for automatic verification of sensor network security protocol implementations