Time π calculus and weak-timed mutual-simulation analysis