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