Mark Allison Karl A. Morris Zhenyu Yang Peter J. Clarke Fábio M. Costa Towards Reliable Smart Microgrid Behavior Using Runtime Model Synthesis. 185-192 2012 HASE https://doi.org/10.1109/HASE.2012.37 https://doi.ieeecomputersociety.org/10.1109/HASE.2012.37 conf/hase/2012 db/conf/hase/hase2012.html#AllisonMYCC12