ReFaM: A Software Tool for Minimizing Nondeterministic Finite Automata | IEEE Conference Publication | IEEE Xplore