Orchestration of services in smart manufacturing through automated synthesis - Monti, F; Silo, L; Favorito, M; De Giacomo, G; Leotta, F; Mecella, M (IEEE Transactions on Services Computing, 2024)