Automatic code generation of SIMUROSOT game strategies: an approach based on finite state machines. - Ricardo A. C. Rabelo; Hendrik T. Macedo; Eduardo O. Freire; Rodrigo M. Oliveira (ACM SIGSOFT Softw. Eng. Notes, 2013)