Modellierung rechtskonformer kollaborativer Bereitstellung von Regelenergie im SmartGrid.