Philippe A. Palanque, Marco Winckler, Célia Martinie. A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. In Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke, editors, Model-Driven Development of Advanced User Interfaces. Volume 340 of Studies in Computational Intelligence, pages 143-169, 2011. [doi]
Abstract is missing.