2024. Rule modeling for automatic verification of RDC-50 requirements in EAS. Seven Editora. (Sep. 2024), 157–180.