\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Tronci et~al.}(2014){Tronci, Mancini, Mari, Melatti, Salvo, Prodanovic, Gruber, Hayes \& Elmegaard}]{Tronci_etal2014} E. Tronci, T. Mancini, F. Mari, I. Melatti, I. Salvo, M. Prodanovic, J. K. Gruber, B. Hayes, and L. Elmegaard. "Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids." In \textit{Proceedings of Smart Grid Communications (SmartGridComm), 2014 IEEE International Conference On}., 2014. DOI: 10.1109/SmartGridComm.2014.7007745.

\end{thebibliography}

