Laroussinie, F.; Larsen, K. G. Compositional Model Checking of Real Time Systems. BRICS 1995, 2.