F. Laroussinie og K. G. Larsen, “Compositional Model Checking of Real Time Systems”, BRICS, bd. 2, nr. 19, jan. 1995.