An Interface Algebra for Real-Time Components
Compositional real-time scheduling framework