Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard: Demand-aware price policy synthesis and verification services for Smart Grids. SmartGridComm 2014: 794-799