Figure 5From: A Formal Model for Performance and Energy Evaluation of Embedded SystemsCode mapping example. Code with annotationsMapped DTMCBack to article page