Hafeez, A., Abbas Musavi, S., & Rehman, A. (2018). Ontology-Based Verification of UML Class/OCL Model. Mehran University Research Journal Of Engineering And Technology, 37(4), 521-534. doi:10.22581/muet1982.1804.07