MIYAMOTO, V. F.; PEREIRA, S. M. S. de A.; MENEGOTTO , J. L. Rule modeling for automatic verification of RDC-50 requirements in EAS. Seven Editora, [S. l.], p. 157–180, 2024. Disponível em: https://sevenpublicacoes.com.br/editora/article/view/5491. Acesso em: 19 sep. 2024.