Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation | Publicación