A generic approach for the certified schedulability analysis of software systems.

Xiaojie Guo, Lionel Rieg, Paolo Torrini

Browse the full RTCSA paper archive.