Ghasem Azar A. SALSA: A Formal Hierarchical Optimization Framework for Smart Grid. Aarhus Universitet; 2017. Accessed October 2, 2025. https://openbooks.kb.dk/au/catalog/book/231