Chausse, Nicolas, Helen Xu, Juergen Dingel, and Karen Rudie. 2012. “Combining Model Checking and Discrete-Event Supervisor Synthesis”. Electronic Communications of the EASST 46 (January). https://doi.org/10.14279/tuj.eceasst.46.686.