Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks | Publicación