COSTA NETO, E.; DEL FOYO, P. M.; PINTO, A. M. Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais. Revista de Engenharia e Pesquisa Aplicada, v. 4, n. 3, p. 40-51, 6 maio 2019.