Petri Net Modeling of Cyber-Physical Attacks on Smart Grid - Tom Chen Chen (IEEE Transactions on Smart Grid, 2011)