FSM의 행위 일치 알고리즘을 이용한 임베디드 시스템의 합성적 안전성 분석 기법2007년 10월 1일 · 약 1분이우진담당교수정보처리학회논문지D (ISSN : 1598-2866), 제14—D권, 제 5호, pp. 633-640, 2007년 10월