A case study of performance analysis for real-time systems