@conference {272,
	title = {A Model-Based Certification Framework for the EnergyBus Standard},
	booktitle = {Formal Techniques for Distributed Objects, Components, and Systems},
	year = {2014},
	doi = {10.1007/978-3-662-43613-4_6},
	url = {http://dx.doi.org/10.1007/978-3-662-43613-4_6},
	author = {Alexander Graf{-}Brill and Holger Hermanns and Hubert Garavel}
}