Behavioral Fault Modeling for Model-based Safety Analysis
Hierarchically Performed Hazard Origin and Propagation Studies