Luo, Frank Jin Ye (1996) A diagnostic method for non-deterministic finite state machines. Masters thesis, Concordia University.