Equivalence of dynamical systems by bisimulation | IEEE Journals & Magazine | IEEE Xplore