Figure 6From: A Formal Model for Performance and Energy Evaluation of Embedded Systems Proposed methodology flow. Back to article page