Formal synthesis of dependable configurations for advanced metering infrastructures | IEEE Conference Publication | IEEE Xplore