Heuristics for deriving distinguishing experiments of nondeterministic finite state machines. - Khaled El-Fakih; Abdul Rahim Haddad; Nassima Aleb; Nina Yevtushenko 001 (Appl. Soft Comput., 2016)