Yoon Seok Jeong Tae Wan Kim Chun-Hyon Chang Modeling of a Monitoring Scheme for TMO Model-based Real-Time Systems. 269-278 2006 conf/isorc/2006 ISORC http://doi.ieeecomputersociety.org/10.1109/ISORC.2006.56 db/conf/isorc/isorc2006.html#JeongKC06