Figure 4From: A Formal Model for Performance and Energy Evaluation of Embedded Systems Excerpt of the execute building block. Back to article page