An evolutionary methodology for automatic design of finite state machines | Publicación