Alur, R., &; Henzinger, T. A. (1997). Modularity for timed and hybrid systems. In 8th International Conference on Concurrency Theory (Vol. 1243, pp. 74–88). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-63141-0_6 
LibreCat: https://research-explorer.ista.ac.at/record/4583
DOI: 10.1007/3-540-63141-0_6