Ghasem Azar A. SALSA: A Formal Hierarchical Optimization Framework for Smart Grid [Internet]. Aarhus, DK: AU Library Scholarly Publishing Services; 2017 [cited 2025 Jun. 22]. (Ph.D-afhandlinger). Available from: https://ebooks.au.dk/aul/catalog/book/231