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

by E Jensen, C Locke, H Tokuda
Venue:In Proceedings of the IEEE Real-Time Systems Symposium (RTSS’85