1. Lecture Notes in Computer Science;M. Abadi,1989
2. Asarin, E., Bournez, O., Dang, T., Maler, O., Pnueli, A.: Effective synthesis of switching controllers for linear systems. IEEE Special Issue on Hybrid Systems 88, 1011–1025 (2000)
3. Lecture Notes in Computer Science;E. Asarin,1995
4. Bernet, J., Janin, D., Walukiewicz, I.: Permissive strategies: From parity games to safety games. ITA 36(3), 261–275 (2002)
5. Berwanger, D., Doyen, L.: On the power of imperfect information. In: FSTTCS 2008. LIPIcs, vol. 2, pp. 73–82. Schloss Dagstuhl (2008)