Applying formal software engineering techniques to smart grids

Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas und Denis Bytschkow

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

2012