O conte´ udo do presente relat´orio ´ e de ´ unica responsabilidade do(s) autor(es). The contents of this report are the sole responsibility of the author(s). Test suite minimization for embedded nondeterministic finite state machines Nina Yevtushenko Ana Cavalli Ricardo Anido Relat´ orio T´ ecnico IC–99-11 Abril de 1999