Timed-automata based schedulability analysis for distributed firm real-time systems: a case study

Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian. Timed-automata based schedulability analysis for distributed firm real-time systems: a case study. STTT, 15(3):211-228, 2013. [doi]

Abstract

Abstract is missing.