Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation. - E. Akenshina; Natalia Shabaldina; Nina Yevtushenko 001 (ICST Workshops, 2010)