Component-based analysis of hierarchical scheduling using linear hybrid automata.

Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey

Browse the full RTCSA paper archive.