Smart HVAC Control in IoT: Energy Consumption Minimization with User Comfort Constraints | Publicación