Hyoung Seok Hong Seung Mo Cho Sung Deok Cha Yong Rae Kwon Extending the SCR Method for Real-Time Systems. 27-49 2001 20 Real-Time Systems 1 db/journals/rts/rts20.html#HongCCK01