Ashiqur Rahman, M. .; Datta, A. .; Al-Shaer, E. . Automated Configuration Synthesis for Resilient Smart Metering Infrastructure. EAI Endorsed Trans Sec Saf 2021, 8, e4.