Graph transformation as a modelling framework for supervisory control. - Jeremie Benhamron; John G. Thistle (WODES, 2016)