A. Ghasem Azar, SALSA: A Formal Hierarchical Optimization Framework for Smart Grid. Aarhus, DK: AU Library Scholarly Publishing Services, 2017. Accessed: Jun. 22, 2025. [Online]. Available: https://ebooks.au.dk/aul/catalog/book/231