Kai Höfig et al. ALFRED: A Methodology to Enable Component Fault Trees for Layered
Architectures. (2015) In: 41st Euromicro Conference on Software Engineering and Advanced
Applications (2015) pp. 167-176
1.
Specifically the idea is to support automatic generation of safety artifacts such
as fault trees [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17],
[18], [19], [20], [21] or FMEA tabl
