Miyamoto, V. F.; Pereira, S. M. S. de A.; Menegotto , J. L. Rule Modeling for Automatic Verification of RDC-50 Requirements in EAS. Editora 2024, 157-180.