Approximate equivalence and approximate synchronization of metric transition systems | IEEE Conference Publication | IEEE Xplore