Computing subsets of equivalence classes for large FSMs | IEEE Conference Publication | IEEE Xplore