Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach
A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems
G. P. FACONTI
Marco Antônio Alba Winckler
M. H. ter BEEK
Philippe PALANQUE
ERIC BARBONI
J. F. LADRY