Figure 8From: A Formal Model for Performance and Energy Evaluation of Embedded Systems Code optimizations. Back to article page