Miyamoto, V. F., Pereira, S. M. S. de A., & Menegotto , J. L. (2024). Rule modeling for automatic verification of RDC-50 requirements in EAS. Seven Editora, 157-180. https://sevenpubl.com.br/editora/article/view/5491