An efficient building air conditioning system control under real-time pricing | IEEE Conference Publication | IEEE Xplore