De Alfaro, Luca, et al. “The Control of Synchronous Systems, Part II.”10.1007/3-540-44685-0_38__Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–81, doi:10.1007/3-540-44685-0_38.

De Alfaro, Luca, et al. “Symbolic Algorithms for Infinite-State Games.”10.1007/3-540-44685-0_36__Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–50, doi:10.1007/3-540-44685-0_36.

De Alfaro, Luca, et al. “Compositional Methods for Probabilistic Systems.”10.1007/3-540-44685-0_24__Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–65, doi:10.1007/3-540-44685-0_24.