Token based scheduling of HVAC Services in commercial buildings | IEEE Conference Publication | IEEE Xplore