V. F. Miyamoto, S. M. S. de A. Pereira, e J. L. Menegotto, “Modelagem de regras para verificação automática de requisitos da RDC -50 em EAS”, Editora, p. 157–180, set. 2024, Acesso em: 21º de agosto de 2025. [Online]. Disponível em: https://sevenpubl.com.br/editora/article/view/5491