Model-based run-time monitoring of end-to-end deadlines. - Jaswinder Ahluwalia; Ingolf H. Krüger; Walter Phillips; Michael Meisinger (EMSOFT, 2005)