1. A service computing manifesto: the next 10 years;Bouguettaya;Commun. ACM,2017
2. Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services;Basile;Log. Methods Comput. Sci.,2020
3. A toolchain for strategy synthesis with spatial properties;Basile;Int. J. Softw. Tools Technol. Transf.,2023
4. Supervisory control of a class of discrete event processes;Ramadge;SIAM J. Control Optim.,1987
5. Controller synthesis for timed automata;Asarin;IFAC Proc.,1998