Finite state machine optimization using genetic algorithms | Publicación