Timing expression and validation : A new language and associated tools for
expressing and validating sporadic timing constraints. The aprpoch is independant of any specification language.