De Giacomo, Giuseppe, Vardi, Moshe Y., Felli, Paolo, Alechina, Natasha, Logan, Brian, "Synthesis of orchestrations of transducers for manufacturing", , 2018