Figure 12From: A Formal Model for Performance and Energy Evaluation of Embedded Systems External memory model. Back to article page