K. G. Larsen, P. Pettersson, og W. Yi, “Compositional and Symbolic Model-Checking of Real-Time Systems”, BRICS, bd. 3, nr. 59, jun. 1996.