$\mathbb {FETMA}$: A Tool for Functional Block Diagram and Event Tree Based Safety Analysis.

Mohamed Abdelghany, Adnan Rashid, Sofine Tahar

Browse the full VECoS paper archive.