Lars Grunske, Bernhard Kaiser. Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. In 2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June - 1 July 2005, Washington, DC, USA. pages 117-123, IEEE Computer Society, 2005. [doi]