Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink. A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. In T. C. Nicholas Graham, Gaëlle Calvary, Philip D. Gray, editors, Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , EICS 2009, Pittsburgh, PA, USA, July 15-17, 2009. pages 211-220, ACM, 2009. [doi]
Abstract is missing.