Chausse, N.; Xu, H.; Dingel, J.; Rudie, K. Combining Model Checking and Discrete-Event Supervisor Synthesis. eceasst 2012, 46.