K. Subramani: A Specification Framework for Real-Time Scheduling. SOFSEM 2002: 195-207