De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems.”https://doi.org/10.1007/3-540-44618-4_33__In Proceedings of the 11th International Conference on Concurrency Theory, 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000.https://doi.org/10.1007/3-540-44618-4_33 .
LibreCat: https://research-explorer.ista.ac.at/record/4637
DOI: 10.1007/3-540-44618-4_33