Costa Neto, E., P. M. Del Foyo, and A. M. Pinto. “Abordagem Sistemática Para Projeto De Sistemas De Manufatura Flexível Baseada Em Técnicas Formais”. Journal of Engineering and Applied Research, Vol. 4, no. 3, May 2019, pp. 40-51, doi:10.25286/repa.v4i3.993.