Mohammad Ashiqur Rahman, Ehab Al-Shaer. Formal synthesis of dependable configurations for advanced metering infrastructures. In 2015 IEEE International Conference on Smart Grid Communications, SmartGridComm 2015, Miami, FL, USA, November 2-5, 2015. pages 289-294, IEEE, 2015. [doi]
Abstract is missing.