#include <system.h>
Referenced by UTAP::TimedAutomataSystem::addProgressMeasure(), and UTAP::TypeChecker::visitProgressMeasure().