An abstract model for scheduling real-time programs - ARENAS, Alvaro E (Formal methods and software engineering (Shanghai, 21-25 October 2002), 2002)
text