Wolforth, Ian, Walker, Martin, Papadopoulos, Yiannis, "A language for failure patterns and application in safety analysis", Proceedings of International Conference on Dependability of Computer Systems, DepCoS - RELCOMEX 2008, 2008