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://sevenpubl.com.br/editora/article/view/5491 (Accessed: 7 October 2025).