Describir: Computational Aspects of Sensor Network Protocols (Distributed Sensor Network Simulator)