A Matrix Method for Determining All Pairs of Compatible States of a Sequential Machine | IEEE Journals & Magazine | IEEE Xplore