“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.