PT Unknown AU Tronci, E Mancini, T Mari, F Melatti, I Salvo, I Prodanovic, M Gruber, JK Hayes, B Elmegaard, L TI Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids SE Proceedings of Smart Grid Communications (SmartGridComm), 2014 IEEE International Conference On PY 2014 DI 10.1109/SmartGridComm.2014.7007745 ER