Timing Constraint Specification and Analysis. - Lo Ko; Naghan Al-Yaqoubi; Christopher A. Healy; Emily Ratliff; Robert D. Arnold; David B. Whalley; Marion G. Harmon (Softw. Pract. Exp., 1999)