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. (Sep. 2024), 157–180.