13.01.2017 Defense Rafael Rosales Ruvalcaba “Holistic Actor-Oriented Modeling of Embedded Systems for ESL Power Consumption Evaluation”