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