On convergence-sensitive bisimulation and the embedding of CCS in timed CCS