Shaikh, A., et al.. More Than Two Decades of Research on Verification of UML Class Models: A Systematic Literature Review. Institute of Electrical and Electronics Engineers (IEEE), 2021, doi:10.1109/access.2021.3121222.