09/11/202008/11/2019OR-05-13-4 – Model-Based Automated Functional Testing—Methodology and Application to Air-Handling Units
