F. Laroussinie and K. G. Larsen, “Compositional Model Checking of Real Time Systems”, BRICS, vol. 2, no. 19, Jan. 1995.