“Rule modeling for automatic verification of RDC-50 requirements in EAS”, Editora, pp. 157–180, Sep. 2024, Accessed: Jun. 30, 2025. [Online]. Available: https://sevenpublicacoes.com.br/editora/article/view/5491