Hafeez, Abdul, Syed Hyder Abbas Musavi, & Aqeel -ur- Rehman. " Ontology-Based Verification of UML Class/OCL Model." Mehran University Research Journal of Engineering and Technology [Online], 37.4 (2018): 521-534. Web. 28 Mar. 2024