Short & tutorial proceedings of the 4th International Symposium on Model Based Safety AssessmentFrank OrtmeierÉpuiséPrévenez-moi