A. Ghasem Azar, SALSA: A Formal Hierarchical Optimization Framework for Smart Grid. Aarhus, DK: Aarhus Universitet, 2017. doi: 10.7146/aul.231.166.