Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Tavares, Meuse N. Oliveira Jr.. A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. In Lars Svensson, José Monteiro, editors, Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers. Volume 5349 of Lecture Notes in Computer Science, pages 379-388, Springer, 2008. [doi]