“Rule Modeling for Automatic Verification of RDC-50 Requirements in EAS”. Seven Editora (September 2, 2024): 157–180. Accessed July 2, 2025. https://sevenpublicacoes.com.br/editora/article/view/5491.