Modeling of a cyber-attack in an IEC 61850 scenario using stochastic colored Petri Nets | IEEE Conference Publication | IEEE Xplore