Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks. (15th June 2014)