Laroussinie, F., and K. G. Larsen. “Compositional Model Checking of Real Time Systems”. BRICS Report Series, vol. 2, no. 19, Jan. 1995, doi:10.7146/brics.v2i19.19921.