selected publications academic article Hazard-driven realization views for Component Fault Trees. Software and Systems Modeling. 19:1465-1481. 2020