Chausse, Nicolas, et al. “Combining Model Checking and Discrete-Event Supervisor Synthesis”. Electronic Communications of the EASST, vol. 46, Jan. 2012, doi:10.14279/tuj.eceasst.46.686.