Sharvia, Septavera, Papadopoulos, Yiannis, "Integrating model checking with HiP-HOPS in model-based safety analysis", Reliability engineering & system safety, 2015