Minimization and Encoding of High Performance Asynchronous State Machines Based on Genetic Algorithm. - Tiago S. Curtinhas; Tassio Cortes Cavalcante; Duarte Lopes de Oliveira; Lester de Abreu Faria; Osamu Saotome (SBCCI, 2015)