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