selected publications conference paper ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures. . 2015