Maurice H. ter Beek Giorgio P. Faconti Mieke Massink Philippe A. Palanque Marco Winckler Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. 494-509 2009 INTERACT (1) http://dx.doi.org/10.1007/978-3-642-03655-2_56 conf/interact/2009-1 db/conf/interact/interact2009-1.html#BeekFMPW09