Heating Ventilation and Air Conditioning (HVAC) systems in buildings provide occupants comfortable indoor environment, and HVAC related problems affect occupants' health and productivity. Though many approaches have been proposed for automated fault detection and diagnosis for HVAC systems to enable preventive or even proactive maintenance, responding and troubleshooting complaints, i.e., corrective maintenance, is still a reality and among the fundamental services provided by Facilities Management (FM) groups (DoE 2010). It is known that troubleshooting HVAC related problems is a challenging task due to lack of apparent causes when problems occur and information access/verification issues during the troubleshooting process. Such challenges affect HVAC maintenance staffs' working efficiency to identify possible causes and collect required information. This paper presents an overview of a formal approach that enables identification, generation and visualization of the information that is required by HVAC maintenance staffs for troubleshooting of HVAC related problems.