Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. - Jeffrey J. P. Tsai; Steve Jennhwa Yang; Yao-Hsiung Chang (IEEE Trans. Software Eng., 1995)

Debugging for Timing-Constraint Violations. - Steve Jennhwa Yang (IEEE Softw., 1996)