Formal Impact Metrics for Cyber-physical Attacks | IEEE Conference Publication | IEEE Xplore