Lo Ko Naghan Al-Yaqoubi Christopher A. Healy Emily Ratliff Robert D. Arnold David B. Whalley Marion G. Harmon Timing Constraint Specification and Analysis. 77-98 1999 29 Softw., Pract. Exper. 1 db/journals/spe/spe29.html#KoAHRAWH99