Sqali, M. , Trojet, M. (2009). 'Multi-models Approach for Describing and Verifying Constraints Based Interactive Systems'. World Academy of Science, Engineering and Technology, Open Science Index 29, International Journal of Electrical and Computer Engineering, 3(5), 1315 - 1325.