Interface-Based Design of Real-Time Systems with Hierarchical Scheduling
Real-time calculus for scheduling hard real-time systems