A. Agung Julius, George J. Pappas: Approximate equivalence and approximate synchronization of metric transition systems. CDC 2006: 905-910