Miyamoto, Vania Furuguem, et al. “Rule Modeling for Automatic Verification of RDC-50 Requirements in EAS”. Seven Editora, Sept. 2024, pp. 157-80, https://sevenpubl.com.br/editora/article/view/5491.