Alur R, Henzinger TA. 1997. Modularity for timed and hybrid systems. 8th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1243, 74–88.
LibreCat: https://research-explorer.ista.ac.at/record/4583
DOI: 10.1007/3-540-63141-0_6