1	제목(Title)	실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구
	저자(Author)	홍광의 지은경 서동원 배두환 Gwangui Hong Eunkyong Jee Dongwon Seo Doohwan Bae
	수록저널(Journal)	한국정보과학회 논문지 B - 소프트웨어 및 응용
	원문수록처(Citation)	VOL 40 NO. 12 PP. 0764 ~ 0773 2013. 12
2	제목(Title)	타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성
	저자(Author)	최진호 지은경 배두환 Jinho Choi Eunkyoung Jee Doo-Hwan Bae
	수록저널(Journal)	한국정보과학회 논문지 C - 컴퓨팅의 실제
	원문수록처(Citation)	VOL 19 NO. 02 PP. 0090 ~ 0094 2013. 02
3	제목(Title)	TMO 기반의 실시간 객체 모델의 코드 자동생성기법 연구
	저자(Author)	석미희 류호동 이우진 Mi Heui Seok Ho Dong Ryu Woo Jin Lee
	수록저널(Journal)	한국정보처리학회 논문지 A
	원문수록처(Citation)	VOL 19-A NO. 02 PP. 0101 ~ 0112 2012. 04
4	제목(Title)	Statechart/ACSR:State chart와 ACSR을 조합한 정형 명세
	저자(Author)	황대연 김진현 안영정 강인혜 최진영 Dae Yon Hwang Jinhyun Kim Young-Jung Ahn Inhye Kang Jin-Young Choi
	수록저널(Journal)	한국정보과학회 논문지 C - 컴퓨팅의 실제
	원문수록처(Citation)	VOL 18 NO. 02 PP. 0143 ~ 0147 2012. 02
5	제목(Title)	실시간 시스템을 위한 어댑티브 유스 케이스 방법상의 디자인 지향 테스트
	저자(Author)	김영철 주복규 Kim Youngchul Joo Bokgyu
	수록저널(Journal)	한국인터넷정보학회 논문지
	원문수록처(Citation)	VOL 04 NO. 06 PP. 0001 ~ 0011 2003. 12
6	제목(Title)	컴포넌트 기반 실시간 임베디드 소프트웨어 프러덕트 라인을 위한 코드 생성 시스템
	저자(Author)	최승훈 Choi Seunghoon
	수록저널(Journal)	한국인터넷정보학회 논문지
	원문수록처(Citation)	VOL 07 NO. 04 PP. 0011 ~ 0022 2006. 08