Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach. - Chang-Jin Kim 002; Jin-Young Choi (Software Engineering Research and Practice, 2006)

Formal Embedded Operating System Model Based on Resource-Based Design Framework. - Jin Hyun Kim; Jae-Hwan Sim; Chang-Jin Kim 002; Jin-Young Choi (QSIC, 2007)