Monitoring, Checking, and Steering of Real-Time Systems. - Moonjoo Kim 001; Insup Lee 001; Usa Sammapun; Jangwoo Shin; Oleg Sokolsky (RV@FLoC, 2002)