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