Dong, J., Hao, P., Qin, S., Sun, J., Wang, Y., Davies, J., Schulte, W., & Barnett, M. (2004, November). Timed Patterns: TCOZ to Timed Automata. Presented at Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods (ICFEM 2004), Seattle, USA