selected publications chapter A Model-Based Certification Framework for the EnergyBus Standard. Lecture Notes in Computer Science. 84-99. 2014