	제목(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
	제목(Title)	XMI 기반 상태도의 소스코드 자동생성 엔진 구현
	저자(Author)	임좌상 김진만 Joasang Lim Jinman Kim
	수록저널(Journal)	한국인터넷정보학회 논문지
	원문수록처(Citation)	VOL 12 NO. 06 PP. 0161 ~ 0170 2011. 12

학술대회 프로시딩 (11)

	제목(Title)	Assertion Based Verification을 이용한 Statechart 모델의 검증
	저자(Author)	황대연 방기석 최진영
	수록저널(Journal)	한국정보과학회 2004 추계학술대회
	원문수록처(Citation)	VOL 31 NO. 02 PP. 0334 ~ 0336 2004. 10
	제목(Title)	Statechart 행위 모델 기반의 테스트 오러클 생성 지원 환경
	저자(Author)	신동익 전태웅
	수록저널(Journal)	한국정보처리학회 2004년 춘계학술대회
	원문수록처(Citation)	VOL 11 NO. 01 PP. 0305 ~ 0308 2004. 05