A Model-Based Intrusion Detection System for Smart Meters | Synapse