@INPROCEEDINGS {5158,
author={L.B.L. Lopes and F. Martins and M.S.S. Silva and J. Barros},
doi={},
booktitle={International Conf. on Distributed Computing in Sensor Systems - DCOSS},
title={A Formal Model for Programming Wireless Sensor Networks},
year={2007},
month={June},
volume={-},
pages={---} 
}