Ghasem Azar A. SALSA: A Formal Hierarchical Optimization Framework for Smart Grid. Aarhus Universitet; 2017. doi:10.7146/aul.231.166