FSM Based Interoperability Testing Methods for Multi Stimuli Model. - Khaled El-Fakih; Vadim Trenkaev; Natalia Spitsyna; Nina Yevtushenko 001 (TestCom, 2004)

Studying the separability relation between finite state machines. - Natalia Spitsyna; Khaled El-Fakih; Nina Yevtushenko 001 (Softw. Test. Verification Reliab., 2007)