Allan van Hulst, Michel A. Reniers, Wan J. Fokkink: Maximally Permissive Controlled System Synthesis for Modal Logic. SOFSEM 2015: 230-241