Specification-based Intrusion Detection for home area networks in smart grids | Synapse