Discrete-event diagnostics of heating, ventilation, and air-conditioning systems | IEEE Conference Publication | IEEE Xplore