Meryem Lamrani and Younès El Amrani and Aziz Ettouhami, On Formalizing Predefined OCL Properties. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. January 2013, vol. 73(1). 36 - 40 [viewed 19 March 2024]. Available from: https://publications.waset.org/pdf/693.