Title: Transformational equivalence of timed transition models