Ashiqur Rahman M, Datta A, Al-Shaer E. Automated Configuration Synthesis for Resilient Smart Metering Infrastructure. EAI Endorsed Trans Sec Saf [Internet]. 2021 Sep. 10 [cited 2024 Apr. 26];8(28):e4. Available from: https://publications.eai.eu/index.php/sesa/article/view/35