Miyamoto VF, Pereira SMS de A, Menegotto JL. Rule modeling for automatic verification of RDC-50 requirements in EAS. Editora. Published online September 2, 2024:157-180. Accessed August 21, 2025. https://sevenpubl.com.br/editora/article/view/5491