Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces - Hierons, Robert M. (IEEE Transactions on Computers, Computers, IEEE Transactions on, IEEE Trans. Comput., 2013)