Applying formal software engineering techniques to smart grids

Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas and Denis Bytschkow

Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, pp. 50–56

2012