Decreasing the complexity of deriving test suites against nondeterministic finite state machines | IEEE Conference Publication | IEEE Xplore