MIYAMOTO, Vania Furuguem; PEREIRA, Silvia Maria Soares de Araujo; MENEGOTTO , José Luis. Rule modeling for automatic verification of RDC-50 requirements in EAS. Seven Editora, [S. l.], p. 157–180, 2024. Disponível em: https://sevenpubl.com.br/editora/article/view/5491. Acesso em: 21 aug. 2025.