Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System. - Reiner Heilmann; Stefan Rothbauer; Ariane Sutor (SAFECOMP, 2007)

ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures. - Kai Höfig; Marc Zeller; Reiner Heilmann (EUROMICRO-SEAA, 2015)