Smart energy case study. - Christof Baumann; Stephan Holzer; Miguel Rodriguez; Roger Wattenhofer (BuildSys@SenSys, 2012)