B. Lim, M. van den Briel, S. Thiebaux, S. Backhaus, and R. Bent, “HVAC-Aware Occupancy Scheduling”, AAAI, vol. 29, no. 1, Feb. 2015.