Wolforth, I., Walker, M., & Papadopoulos, Y. A language for failure patterns and application in safety analysis. Presented at 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX