Dong, J.S., Hao, P., Qin, S., Sun, J., Wang, Y., "Timed Automata Patterns", IEEE Transactions on Software Engineering, 2008