Dependability Analysis of Power System Protections using Stochastic Hybrid Simulation with Modelica | IEEE Conference Publication | IEEE Xplore