Specification-Based Intrusion Detection for Advanced Metering Infrastructures | Synapse