Hyoung Seok Hong Young Gon Kim Sung Deok Cha Doo-Hwan Bae Hasan Ural A test sequence selection method for statecharts. 203-227 2000 10 Softw. Test., Verif. Reliab. 4 db/journals/stvr/stvr10.html#HongKCBU00