Miyamoto, V. F., Pereira, S. M. S. de A. and Menegotto , J. L. (2024) “Rule modeling for automatic verification of RDC-50 requirements in EAS”, Seven Editora, pp. 157–180. Available at: https://sevenpublicacoes.com.br/editora/article/view/5491 (Accessed: 19 September 2024).