Behavioral Fault Modeling for Model-based Safety Analysis
Towards integrated safety analysis and design