A unification of system equivalence definitions