Interface-Based Design of Real-Time Systems with Hierarchical Scheduling | IEEE Conference Publication | IEEE Xplore