module AtsMec_V2XInformationServiceAPI_TestControl {

  // LibMec/LocationAPI
  import from V2XInformationServiceAPI_Pics all;

  // LibMec
  import from LibMec_Pics all;

  // AtsMec
  import from AtsMec_V2XInformationServiceAPI_TestCases all;

  control {

    if (PICS_MEC_PLAT and PICS_SERVICES) {
      execute(TC_MEC_MEC030_SRV_V2X_001_OK_01());
    }
  } // End of 'control' statement

} // End of module AtsMec_V2XInformationServiceAPI_TestControl