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