Gửi tin nhắn: Event-driven optimization of complex HVAC systems