A stochastic Petri nets approach to dependability analysis of control center networks in smart grid | IEEE Conference Publication | IEEE Xplore