Athanassios Boulis Ansgar Fehnker Matthias Fruth Annabelle McIver CaVi -- Simulation and Model Checking for Wireless Sensor Networks. 37-38 2008 QEST http://dx.doi.org/10.1109/QEST.2008.32 conf/qest/2008 db/conf/qest/qest2008.html#BoulisFFM08