Alechina, N.; Brázdil, T.; De Giacomo, G.; Felli, P.; Logan, B.; Vardi, M. Y. Unbounded Orchestrations of Transducers for Manufacturing. AAAI 2019, 33, 2646-2653.