Return to Article Details Automated Configuration Synthesis for Resilient Smart Metering Infrastructure Download Download PDF