model based safety analysis with smartiflow † .
Model-based safety assessment: Review of the discipline and its challenges