/** Main method to test (read from multiple des files, output result to a des file) */
  public static void main(String args[]) {
    PTA pta, pta2;
    int i;

    if (args.length < 1) {
      System.err.println("Usage: java ... <des files>");
      System.exit(1);
    }
    try {
      // Build PTA
      System.out.println("Building PTA from \"" + args[0] + "\"");
      pta = PTA.buildPTAFromDesFile(args[0]);
      System.out.println(pta.infoString());
      // System.out.println(pta);
      for (i = 1; i < args.length; i++) {
        System.out.println("Building PTA from \"" + args[i] + "\"");
        pta2 = PTA.buildPTAFromDesFile(args[i]);
        System.out.println(pta2.infoString());
        // System.out.println(pta2);
        pta = new PTAParallel().compose(pta, pta2);
        // System.out.println(pta);
      }
      System.out.println("Final PTA: " + pta.infoString());
      System.out.println(pta);
      pta.check();
      pta.writeToDesFile("par.des");
      // Parse target location
    } catch (PrismException e) {
      System.err.println("Error: " + e.getMessage());
    }
  }