Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas, Denis Bytschkow. Applying formal software engineering techniques to smart grids. In Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2012, Zurich, Switzerland, June 3, 2012. pages 50-56, IEEE, 2012. [doi]
Abstract is missing.