M. . Ashiqur Rahman, A. . Datta, and E. . Al-Shaer, “Automated Configuration Synthesis for Resilient Smart Metering Infrastructure”, EAI Endorsed Trans Sec Saf, vol. 8, no. 28, p. e4, Sep. 2021.