Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Ricardo Massa Ferreira Lima, Gustavo Rau de Almeida Callou, Rodolfo Ferraz. A Formal Model for Performance and Energy Evaluation of Embedded Systems. EURASIP J. Emb. Sys., 2011, 2011. [doi]
Abstract is missing.