Laroussinie F, Larsen KG. Compositional Model Checking of Real Time Systems. BRICS [Internet]. 1995 Jan. 19 [cited 2024 Nov. 22];2(19). Available from: https://tidsskrift.dk/brics/article/view/19921