Laroussinie, Francois, og Kim G. Larsen. “Compositional Model Checking of Real Time Systems”. BRICS Report Series, bd. 2, nr. 19, januar 1995, doi:10.7146/brics.v2i19.19921.