Youssef Hanna Hridesh Rajan Wensheng Zhang Slede: a domain-specific verification framework for sensor network security protocol implementations. 109-118 2008 WISEC http://doi.acm.org/10.1145/1352533.1352551 conf/wisec/2008 db/conf/wisec/wisec2008.html#HannaRZ08