A Model-Based Intrusion Detection System for Smart Meters | IEEE Conference Publication | IEEE Xplore