Synthesis of Orchestrations of Transducers for Manufacturing. - Giacomo, Giuseppe De; Vardi, Moshe Y.; Felli, Paolo; Alechina, Natasha; Logan, Brian (2018)