ProtEx: a toolkit for the analysis of distributed real-time systems. - Yves Meylan; Aneema Bajpai; Riccardo Bettati (RTCSA, 2000)