WASET
Lamrani, M. , Amrani, Y. , Ettouhami, A.. "On Formalizing Predefined OCL Properties". World Academy of Science, Engineering and Technology, Open Science Index 73, International Journal of Computer and Information Engineering, (2013), 7(1), 36 - 40.