Figure 3From: A Formal Model for Performance and Energy Evaluation of Embedded Systems Fetch stage and FLASH memory connection. Back to article page