Lavindra de Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan, Svetan M. Ratchev. Synthesising process controllers from formal models of transformable assembly systems. Robotics Comput. Integr. Manuf., 58:130-144, 2019. [doi]
Abstract is missing.