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 September 19, 2024. https://sevenpublicacoes.com.br/editora/article/view/5491.