A time driven scheduling model for real-time operating systems (1985)

by E Jensen, C Locke, H Tokuda
Venue:IEEE RTSS