De Giacomo, G.; Vardi, M.; Felli, P.; Alechina, N.; Logan, B. Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018, 32.