From: A Formal Model for Performance and Energy Evaluation of Embedded Systems
A1 (s)
A2 (s)
Task 1
2
4
Task 2
3
Task 3
1085