Component-based analysis of hierarchical scheduling using linear hybrid automata | IEEE Conference Publication | IEEE Xplore