A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies | Publicación