Timed estimates and homomorphisms of asynchronous systems