Einsatz formaler Methoden zur Energieeinsparung. - Thomas Horn; Matthias Sauppe; Erik Markert; Ulrich Heinkel; Wolfgang Rössel; Hans-Werner Sahm (MBMV, 2013)