Construction of global finite state machine for testing task interactions written in message sequence charts. - Nam Hee Lee; Tai Hyo Kim; Sung Deok Cha (SEKE, 2002)

A formal software requirements specification method for digital nuclear plant protection systems. - Junbeom Yoo; Tai Hyo Kim; Sung Deok Cha; Jang-Soo Lee; Han Seong Son (J. Syst. Softw., 2005)

Timed High-Level Message Sequence Charts for Real-Time System Design. - Tai Hyo Kim; Sung Deok Cha (SAM, 2006)

An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. - Hojung Bang; Tai Hyo Kim; Sung Deok Cha (ISORC, 2007)

Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time. - Jong-In Lee; Hojung Bang; Tai Hyo Kim; Sung Deok Cha (IEICE Trans. Inf. Syst., 2009)

A systematic representation of path constraints for implicit path enumeration technique. - Tai Hyo Kim; Hojung Bang; Sung Deok Cha (Softw. Test. Verification Reliab., 2010)