%0 Journal Article
%T A Formal Model for Performance and Energy Evaluation of Embedded Systems
%A Bruno Nogueira
%A Paulo Maciel
%A Eduardo Tavares
%A Ermeson Andrade
%J EURASIP Journal on Embedded Systems
%D 2011
%I Springer
%R 10.1155/2011/316510
%U http://dx.doi.org/10.1155/2011/316510