Mamoun Sqali and  Mohamed Wassim Trojet,  Multi-models Approach for Describing and Verifying Constraints Based Interactive Systems.   journal   = {International Journal of Electrical and Computer Engineering}, [online]. World Academy of Science, Engineering and Technology.
    May 2009, vol. 29(5). 1315 - 1325
    [viewed 15 April 2021]. Available from: https://publications.waset.org/pdf/3311.