Smart HVAC Control in IoT: Energy Consumption Minimization with User Comfort Constraints. (18th June 2014)