Miyamoto, V. F., S. M. S. de A. Pereira, and J. L. Menegotto. “Rule Modeling for Automatic Verification of RDC-50 Requirements in EAS”. Seven Editora, Sept. 2024, pp. 157-80, https://sevenpublicacoes.com.br/editora/article/view/5491.