TimeNET implementation for Transforming UML State Machines into Stochastic Petri Nets for Energy Consumption Estimation of Embedded Systems.