De Silva, Lavindra, Felli, Paolo, Sanderson, David, Chaplin, Jack C, Logan, Brian, Ratchev, Svetan, "Synthesising process controllers from formal models of transformable assembly systems", Robotics and Computer-Integrated Manufacturing, 2019