Enforcing criticality constraints in real-time systems - Michael John Pilling (1995)