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