Compositional Analysis Framework Using EDP Resource Models
Compositional real-time scheduling framework