Interface-Based Design of Real-Time Systems with Hierarchical Scheduling
Compositional real-time scheduling framework