#include <vector>
#include "utap/utap.h"
#include <string.h>
References UTAP::TimedAutomataSystem::getErrors(), UTAP::TimedAutomataSystem::getWarnings(), parseXMLFile(), and parseXTA().