Dependability Analysis of Power System Protections using Stochastic Hybrid Simulation with Modelica. - Luca Ferrarini; Juliano S. A. Carneiro; Simone Radaelli; Emanuele Ciapessoni (ICRA, 2007)