Miyamoto VF, Pereira SMS de A, Menegotto JL. Rule modeling for automatic verification of RDC-50 requirements in EAS. Editora [Internet]. 2024 Sep. 2 [cited 2024 Sep. 19];:157-80. Available from: https://sevenpublicacoes.com.br/editora/article/view/5491