Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey. Component-based analysis of hierarchical scheduling using linear hybrid automata. In 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, Chongqing, China, August 20-22, 2014. pages 1-10, IEEE, 2014. [doi]
Abstract is missing.