Model-Based Automated Functional Testing-Methodology and Application to Air Handling Units