V. F. Miyamoto, S. M. S. de A. Pereira, and J. L. Menegotto, “Rule modeling for automatic verification of RDC-50 requirements in EAS”, Editora, pp. 157–180, Sep. 2024.