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