Miyamoto, Vania Furuguem, Silvia Maria Soares de Araujo Pereira, and José Luis Menegotto. 2024. “Rule Modeling for Automatic Verification of RDC-50 Requirements in EAS”. Seven Editora, September, 157-80. https://sevenpublicacoes.com.br/editora/article/view/5491.