“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
.