Two Semantic Models for Clock Relations in the Clock Constraint Specification Language