Interface-Based Design of Real-Time Systems with Hierarchical Scheduling
Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks