module ItsAutoInterop_TestControl { 
    
    // ItsInterop
    import from ItsAutoInterop_TestCases all;
    
    control {
        // Draft ETSI TS yyy xxx-2 V0.0.8 (2017-03) Clause 6.2.2    DEN message - Forwarding
        execute(TC_AUTO_IOT_DENM_MFW_BV_01());
        execute(TC_AUTO_IOT_DENM_MFW_BV_02());
        execute(TC_AUTO_IOT_DENM_MFW_BV_03());
        // Draft ETSI TS yyy xxx-2 V0.0.8 (2017-03) Clause 6.2.3    DEN message - Road Works Warning
        execute(TC_AUTO_IOT_DENM_RWW_BV_01());
        // Draft ETSI TS yyy xxx-2 V0.0.8 (2017-03) Clause 6.2.4    DEN message - Road Hazard Signals
        execute(TC_AUTO_IOT_DENM_RHS_BV_01());
        // Draft ETSI TS yyy xxx-2 V0.0.8 (2017-03) Clause 6.2.5    DEN message - Stationary Vehicle Warning
        execute(TC_AUTO_IOT_DENM_SVW_BV_01());
        // Draft ETSI TS yyy xxx-2 V0.0.8 (2017-03) Clause 6.2.6    DEN message - Geo-broadcast message caching
        execute(TC_AUTO_IOT_DENM_GMC_BV_01());
        // Draft ETSI TS yyy xxx-2 V0.0.8 (2017-03) Clause 6.2.7    CA message � Neighbors detection
        execute(TC_AUTO_IOT_CAM_NBD_BV_01());
        // Draft ETSI TS yyy xxx-2 V0.0.8 (2017-03) Clause 6.2.8    CA message � Collision Risk Warning
        execute(TC_AUTO_IOT_CAM_CRW_BV_01());
        execute(TC_AUTO_IOT_CAM_CRW_BV_02());
        // Draft ETSI TS yyy xxx-2 V0.0.8 (2017-03) Clause 6.2.9    GN message � Duplicate address detection
        execute(TC_AUTO_IOT_GN_DAD_BV_01());
        
    } // End of 'control' statement
    
} // End of module ItsAutoInterop_TestControl