E. Costa Neto, P. M. Del Foyo, e A. M. Pinto, Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais, REPA, vol. 4, nº 3, p. 40-51, maio 2019.