Ashiqur Rahman M, Datta A, Al-Shaer E. Automated Configuration Synthesis for Resilient Smart Metering Infrastructure. EAI Endorsed Trans Sec Saf. 2021;8(28):e4. doi:10.4108/eai.10-9-2021.170948