De Giacomo, G., M. Vardi, P. Felli, N. Alechina, and B. Logan. “Synthesis of Orchestrations of Transducers for Manufacturing”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 32, no. 1, Apr. 2018, doi:10.1609/aaai.v32i1.12094.