TMO 기반의 코드 자동 생성기 설계를 위한 실시간 시스템 모델링 기법2010년 6월 30일 · 약 1분석미희신영술류호동이우진담당교수2010 한국컴퓨터종합학술대회 논문집, 제37권, 제1호, pp. 136-139, 2010년 7월 (6.30)