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. REPA 2019, 4, 40-51.