Ghasem Azar, A. SALSA: A Formal Hierarchical Optimization Framework for Smart Grid; Ph.D-afhandlinger; AU Library Scholarly Publishing Services: Aarhus, DK, 2017.