Switched system models for coordinated cyber-physical attack construction and simulation | IEEE Conference Publication | IEEE Xplore