A Formal Approach to Provide Information Support for Troubleshooting of HVAC Related Problems