Machine properties preserved under state minimization | IEEE Conference Publication | IEEE Xplore