Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks. - M. Carmen Ruiz; Hermenegilda Macià; José Antonio Mateo; Francisco Javier Calleja (ICCS, 2016)