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