Kemal Inan, Hasan Ural: Efficient checking sequences for testing finite state machines. Inf. Softw. Technol. 41(11-12): 799-812 (1999)