Enersave: Development of Methods for the Design of energy-efficient verified Systems