Using hybrid attack graphs to model cyber-physical attacks in the Smart Grid | IEEE Conference Publication | IEEE Xplore