Papadopoulos, Yiannis, Walker, Martin, Grunske, Lars, Wolforth, Ian, "Generalizable safety annotations for specification of failure patterns", Software-Practice & Experience, 2010