@conference {57,
	title = {Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids},
	booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I},
	volume = {7609},
	year = {2012},
	pages = {420-439},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-642-34025-3},
	doi = {10.1007/978-3-642-34026-0_31},
	author = {Arnd Hartmanns and Holger Hermanns}
}