@inproceedings{polWsn,
author={Patrignani, Marco and Matthys, Nelson and Proen{\c c}a, Jos{\' e} and Hughes, Danny and  Clarke, Dave},
title={{F}ormal {A}nalysis of {P}olicies in {W}ireless {S}ensor {N}etwork {A}pplication},
year={2012},
pages={21-28},
series = {SESENA 2012},
booktitle={Proceedings of the 3rd international {W}orkshop on {S}oftware {E}ngineering for {S}ensor {N}etwork {A}pplications},
location={Zurich, Switzerland}
}