Chausse, N. (2012) “Combining Model Checking and Discrete-Event Supervisor Synthesis”, Electronic Communications of the EASST, 46. doi: 10.14279/tuj.eceasst.46.686.