Specification-Based Intrusion Detection for Advanced Metering Infrastructures | IEEE Conference Publication | IEEE Xplore