Ghasem Azar A. SALSA: A Formal Hierarchical Optimization Framework for Smart Grid [Internet]. Aarhus, DK: Aarhus Universitet; 2017 [cited 2025 Oct. 2]. (Ph.D-afhandlinger). Available from: https://openbooks.kb.dk/au/catalog/book/231