Modeling and instrumentation for fault detection and isolation of a cooling system | IEEE Conference Publication | IEEE Xplore