Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios | IEEE Conference Publication | IEEE Xplore