PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method. - Kyo Chul Kang; Kwang-Il Ko (ICSE, 1995)

Parts: a Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints. - Kyo Chul Kang; Kwang-Il Ko (Int. J. Softw. Eng. Knowl. Eng., 1995)

Formalization and Verification of Safety Properties of Statechart Specifications. - Kyo Chul Kang; Kwang-Il Ko (APSEC, 1996)