Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees · Study