BuildingSherlock: fault management framework for HVAC systems: demo abstract. - Rizhen Zhang; Bharathan Balaji; Yan Zhang; Balakrishnan Narayanaswamy; Yuvraj Agarwal (BuildSys, 2014)