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. Retrieved from https://sevenpublicacoes.com.br/editora/article/view/5491