CaVi: Simulation and Model Checking for Wireless Sensor Networks - Boulis, A; Fehnker, A; Fruth, M; McIver, A (2008)