V. F. Miyamoto, S. M. S. de A. Pereira, and J. L. Menegotto, “Modelagem de regras para verificação automática de requisitos da RDC -50 em EAS”, Editora, pp. 157–180, Sep. 2024, Accessed: Oct. 07, 2025. [Online]. Available: https://sevenpubl.com.br/editora/article/view/5491