A unification of system equivalence definitions | IEEE Conference Publication | IEEE Xplore