@inproceedings{HoefigZellerHeilmann2015, author = {Kai H{\"o}fig and Marc Zeller and Reiner Heilmann}, title = {ALFRED: a methodology to enable component fault trees for layered architectures}, booktitle = {2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), August 2015,Funchal, Portugal. IEEE.}, pages = {167 -- 176}, year = {2015}, }