Beyond modelling: an integrated environment supporting co-execution of tasks and systems models
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability