De Silva, L., Felli, P., Sanderson, D., Chaplin, J. C., Logan, B., & Ratchev, S. (2019). Synthesising process controllers from formal models of transformable assembly systems. Robotics and Computer-Integrated Manufacturing, 58, 130-144. https://doi.org/10.1016/j.rcim.2019.01.014