Specification and Analysis of Timing Requirements for Real-time Systems in the CBD approach2007년 7월 1일 · 약 1분Ho Kyoung Lee이우진담당교수Heung Seok ChaeYong Rae KwonReal-Time Systems (ISSN :0922-6443) , Vol. 36, pp. 135-158, July 2007.