An efficient stochastic qualitative reasoning method for real time fault diagnosis of building air conditioning system | IEEE Conference Publication | IEEE Xplore