K. G. Larsen, P. Pettersson, and W. Yi, “Compositional and Symbolic Model-Checking of Real-Time Systems”, BRICS, vol. 3, no. 59, Jun. 1996.