Combining Model Checking and Discrete-Event Supervisor Synthesis. - Nicolas Chausse; Helen Xu; Jürgen Dingel; Karen Rudie (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)