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