State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems · Study