A Calculus of Real Time Systems (1991)

by Y Wang