Topological analysis in bulk power system reliability evaluation | Synapse