Larsen, K. G.; Pettersson, P.; Yi, W. Compositional and Symbolic Model-Checking of Real-Time Systems. BRICS 1996, 3.