Hafeez, Abdul, 		Abbas Musavi, Syed Hyder, AND 		Rehman, Aqeel.
" Ontology-Based Verification of UML Class/OCL Model" <em>Mehran University Research Journal of Engineering and Technology</em> [Online], Volume 37 Number 4 (1 October 2018)