Enersave: Methodik zum Entwurf von energiesparenden, verifizierten Systemen