ProtEx: a toolkit for the analysis of distributed real-time systems.

Yves Meylan, Aneema Bajpai, Riccardo Bettati

Browse the full RTCSA paper archive.