TITLE : A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems AUTHOR(S) : Palanque P, Winckler M, Ladry J, Ter Beek M H, Faconti G, Massink M TYPE : Conference article YEAR : 2009 CODE : 91937 *** DO NOT EDIT THIS FILE ***