Measuring Behavioral Correspondence to a Timed Concurrent Model. - Jonathan E. Cook 001; Cha He; Changjun Ma (ICSM, 2001)