A Time-Driven Scheduling Model for Real-Time Operating Systems (1985)

by D Jensen, D Locke, H Tokuda
Venue:In Proceedings of the IEEE Real-Time Systems Symposium