Ludovic Samper Florence Maraninchi Laurent Mounier Louis Mandel GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. 3 2006 InterSense http://doi.acm.org/10.1145/1142680.1142684 conf/intersense/2006 db/conf/intersense/intersense2006.html#SamperMMM06