An Interface Algebra for Real-Time Components
Periodic resource model for compositional real-time guarantees