Text this: Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation