Clock Constraint Specification Language