Abstracting functionality for modular performance analysis of hard real-time systems