1. Blow, J.: Game Development: Harder Than You Think. ACM Queue 1, 28–37 (2004)
2. Lecture Notes in Computer Science;P. Klint,2011
3. Holzmann, G.: SPIN Model Checker, the: Primer and Reference Manual, 1st edn. Addison-Wesley Professional (2003)
4. Adams, E., Dormans, J.: Game Mechanics: Advanced Game Design, 1st edn. New Riders Publishing, Thousand Oaks (2012)
5. Dormans, J.: Level Design as Model Transformation: A Strategy for Automated Content Generation. In: Proceedings of the 2nd International Workshop on Procedural Content Generation in Games, PCGames 2011, ACM, New York (2011)