Compositional Predictability Analysis of Mixed Critical Real Time Systems. - Abdeldjalil Boudjadar; Juergen Dingel; Boris Madzar; Jin Hyun Kim (FTSCS, 2015)

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. - Boris Madzar; Jalil Boudjadar; Juergen Dingel; Thomas E. Fuhrman; S. Ramesh 002 (FACS, 2016)