Design and Implementation of a Run-Time TMO Monitor on LTMOS. - Yoon Seok Jeong; Tae Wan Kim; Chun-Hyon Chang (Embedded Systems and Applications, 2003)

A Sharing and Delivery Scheme for Monitoring TMO-Based Real-Time Systems. - Yoon Seok Jeong; Tae Wan Kim; Chun-Hyon Chang (International Conference on Computational Science (4), 2006)

Modeling of a Monitoring Scheme for TMO Model-based Real-Time Systems. - Yoon Seok Jeong; Tae Wan Kim; Chun-Hyon Chang (ISORC, 2006)

A Timing Constraint Search Technique for a TMO based Real-time Process. - Yoon Seok Jeong; Tae Wan Kim; Sunyoung Han; Chun-Hyon Chang (J. Inf. Process. Syst., 2006)