De Alfaro, L., Henzinger, T. A., &; Mang, F. (2001). The control of synchronous systems, Part II. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 566–581). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44685-0_38 
LibreCat: https://research-explorer.ista.ac.at/record/4634
DOI: 10.1007/3-540-44685-0_38

De Alfaro, L., Henzinger, T. A., &; Majumdar, R. (2001). Symbolic algorithms for infinite-state games. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 536–550). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44685-0_36 
LibreCat: https://research-explorer.ista.ac.at/record/4633
DOI: 10.1007/3-540-44685-0_36

De Alfaro, L., Henzinger, T. A., &; Jhala, R. (2001). Compositional methods for probabilistic systems. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 351–365). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44685-0_24 
LibreCat: https://research-explorer.ista.ac.at/record/4632
DOI: 10.1007/3-540-44685-0_24