module ItsPki_TestControl {
  
  // LibItsPki
  import from LibItsPki_Pics all;
  
  // AtsPki
  import from ItsPki_TestCases all;
  
  control {
    
    if (PICS_IUT_ITS_S_ROLE) {
      if (PICS_SECPKI_ENROLMENT) {
        execute(TC_SECPKI_ITSS_ENR_01_BV());
        execute(TC_SECPKI_ITSS_ENR_02_BV());
        if (PICS_SECPKI_REENROLMENT) {
          execute(TC_SECPKI_ITSS_ENR_03_BV());
          execute(TC_SECPKI_ITSS_ENR_06_BV());
          execute(TC_SECPKI_ITSS_ENR_12_BV());
        }
        if (PICS_SECPKI_CRL) {
          execute(TC_SECPKI_ITSS_ENR_04_BV())
          }
        execute(TC_SECPKI_ITSS_ENR_05_BV());
        execute(TC_SECPKI_ITSS_ENR_07_BV());
        execute(TC_SECPKI_ITSS_ENR_08_BV());
        execute(TC_SECPKI_ITSS_ENR_09_BV());
        execute(TC_SECPKI_ITSS_ENR_10_BV());
        execute(TC_SECPKI_ITSS_ENR_11_BV());
        
        execute(TC_SECPKI_ITSS_ENR_RECV_01_BV());
        execute(TC_SECPKI_ITSS_ENR_RECV_02_BV());
      }

      if (PICS_SECPKI_AUTHORIZATION) {
        // TODO
      }
    }
    
    if (PICS_IUT_EA_ROLE or PICS_IUT_COMBINED_EA_AA_ROLE) {
      execute(TC_SECPKI_EA_ENR_RCV_01_BV());
      execute(TC_SECPKI_EA_ENR_RCV_02_BI());
      
      execute(TC_SECPKI_EA_ENR_01_BV());
      execute(TC_SECPKI_EA_ENR_02_BV());
      execute(TC_SECPKI_EA_ENR_03_BV());
      execute(TC_SECPKI_EA_ENR_04_BV());
      execute(TC_SECPKI_EA_ENR_05_BV());
      execute(TC_SECPKI_EA_ENR_06_BV());
      execute(TC_SECPKI_EA_ENR_07_BV());
      execute(TC_SECPKI_EA_ENR_08_BV());
      execute(TC_SECPKI_EA_ENR_09_BV());
      execute(TC_SECPKI_EA_ENR_10_BV());
      execute(TC_SECPKI_EA_ENR_11_BV());
      execute(TC_SECPKI_EA_ENR_12_BV());

      if (not PICS_IUT_COMBINED_EA_AA_ROLE) {
        execute(TC_SECPKI_EA_AUTHVAL_RCV_01_BV());
        execute(TC_SECPKI_EA_AUTHVAL_RCV_02_BI());
      }
   }
   
   if (PICS_IUT_COMBINED_EA_AA_ROLE) {
     execute(TC_SECPKI_SND_EA_AA_BV_01());
   }
   if (PICS_IUT_AA_ROLE) {
     execute(TC_SECPKI_SND_AA_BV_01());
     execute(TC_SECPKI_SND_AA_BV_02());
     execute(TC_SECPKI_SND_AA_BV_03());
    }
    
  } // End of 'control' statement
  
}  // End of module module ItsPki_TestControl