Secondary Voltage Control Via Demand-Side Energy Storage with Temporal Logic Specifications | IEEE Conference Publication | IEEE Xplore