Sqali, M. , Trojet, M.. "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 (2009), 3(5), 1315 - 1325.