Hafeez, A., 		Abbas Musavi, S., & 		Rehman, A.
2018 Oct  1.  Ontology-Based Verification of UML Class/OCL Model. Mehran University Research Journal of Engineering and Technology. [Online] 37:4