Contents:
1. Introduction
2. A Graph-based Task Model
3. Feasibility Analysis
4. Tractability Borderline
5. Hardness Results for Static Priorities
6. Combinational Abstraction Refinement
7. Response-Time Analysis
8. Evaluation
9. Related Workload Models: A Survey
10. Conclusions