A Knowledge-based Approach for Worst-case Timing Analysis of Microprocessor Systems. - S. M. Yuen; K. P. Lam (COMPSAC, 1995)

Temporal constraint reasoning mechanisms for microprocessor systems diagnosis. - S. M. Yuen; K. P. Lam (Knowl. Based Syst., 1996)

Time-range compatibility reasoning for asynchronous systems design. - K. P. Lam; S. M. Yuen (Microprocess. Microsystems, 1996)