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

by E D Jensen, C D Locke, H Tokuda