Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean: A Statistical Response-Time Analysis of Real-Time Embedded Systems. RTSS 2012: 351-362