Ghasem Azar, A. SALSA: A Formal Hierarchical Optimization Framework for Smart Grid; Ph.D-afhandlinger; Aarhus Universitet: Aarhus, DK, 2017.