G. De Giacomo, M. Vardi, P. Felli, N. Alechina, and B. Logan, “Synthesis of Orchestrations of Transducers for Manufacturing”, AAAI, vol. 32, no. 1, Apr. 2018.