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 

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 

De Alfaro, L., Henzinger, T. A., &; Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (pp. 279–290). Boston, MA, USA: IEEE.https://doi.org/10.1109/LICS.2001.932504 

De Alfaro, L., Henzinger, T. A., &; Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging. In Proceedings of the 10th international conference on World Wide Web (pp. 86–87). Hong Kong, Hong Kong: ACM.

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