Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg. Modeling and Analyzing Wireless Sensor Networks with VeriSensor. In Lawrence Cabac, Michael Duvigneau, Daniel Moldt, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012. Volume 851 of CEUR Workshop Proceedings, pages 60-76, CEUR-WS.org, 2012. [doi]