Christopher T. Haynes Daniel P. Friedman Abstracting Timed Preemption with Engines. 109-121 1987 12 Comput. Lang. 2 db/journals/cl/cl12.html#HaynesF87