1. Timed conversation API for Python,
http://www.doc.ic.ac.uk/~lbocchi/TimeApp.html
2. Akshay, S., Gastin, P., Mukund, M., Kumar, K.N.: Model checking time-constrained scenario-based specifications. In: FSTTCS. LIPIcs, vol. 8, pp. 204–215 (2010)
3. Alur, R., Dill, D.L.: A theory of timed automata. TCS 126, 183–235 (1994)
4. Apt, K.R., Francez, N., Katz, S.: Appraising fairness in distributed languages. In: POPL, pp. 189–198. ACM (1987)
5. Lecture Notes in Computer Science;M. Berger,2007