On the Relationships among four Timed Process Algebras