Patrignani M, Matthys N, Proença J, Hughes D, Clarke D.? 2012.??Formal analysis of policies in wireless sensor network applications. Proceedings of Third International Workshop on Software Engineering for Sensor Network Applications - SESENA . :15?21.