Interoperability Testing Based on a Fault Model for a System of Communicating FSMs. - Vadim Trenkaev; Myungchul Kim 001; Soonuk Seol (TestCom, 2003)

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