Laroussinie, Francois, and Kim G. Larsen. 1995. “Compositional Model Checking of Real Time Systems”. BRICS Report Series 2 (19). https://doi.org/10.7146/brics.v2i19.19921.