Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability