하솔, 구남국, 노명일, "DEVS 형식론 기반의 Dynamic Reliability Block Diagram과 GPU 가속 기술을 이용한 신뢰도 분석 방법", 한국시뮬레이션학회 논문지, Vol. 22, No. 4, pp. 109-118, 2013.12.01