Ghasem Azar, A. (2017). SALSA: A Formal Hierarchical Optimization Framework for Smart Grid. Aarhus Universitet. https://openbooks.kb.dk/au/catalog/book/231