Timed Automata-Based Rehabilitation Training Game Design for the Affected Lower Extremity of Hemiparetic Patient. - Gi Sook Jung; Sang Yun Kim; Soon Ki Jung; Seung Deuk Byun; Yang Soo Lee (Trans. Edutainment, 2008)