Mamoun Sqali, Wassim Trojet. Multi-models approach for describing and verifying constraints based interactive systems.
International Journal of Electrical and Electronics Engineering (IJEEE), World Academy of Science, Engineering and Technology (WASET 09), 2009, 3 (6), pp.342-352.
⟨hal-01479654⟩