Miyamoto, Vania Furuguem, et al. “Modelagem De Regras Para verificação automática De Requisitos Da RDC -50 Em EAS”. Seven Editora, Sept. 2024, pp. 157-80, https://sevenpubl.com.br/editora/article/view/5491.