Bakker, Otto Jan, Chaplin, Jack C., de Silva, Lavindra, Felli, Paolo, Sanderson, David, Logan, Brian, Ratchev, Svetan, "Toward process control from formal models of transformable manufacturing systems", Procedia CIRP, 2018