@INPROCEEDINGS {7256,
author={F. Martins and L.B.L. Lopes and J. Barros},
doi={},
booktitle={Programming Language Approaches to Concurrency and Communication-cEntric Software  - ETAPS},
title={Towards the Safe Programming of Wireless Sensor Networks},
year={2009},
month={March},
volume={.},
pages={.-.} 
}