1. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235. http://citeseer.ist.psu.edu
2. Lecture notes in computer science;J Bengtsson,2004
3. Büker M, Metzner A, Stierand I (2009) Testing real-time task networks with functional extensions using model-checking. In: Proceedings of the 14th IEEE international conference on emerging technologies & factory automation (ETFA’09). IEEE Press, Piscataway, pp 564–573. http://dl.acm.org/citation.cfm?id=1740954.1741034
4. Cassez F, Larsen K (1999) The impressive power of stopwatches. In: Proc of CONCUR 2000: concurrency theory. Springer, Berlin, pp 138–152
5. David A, Illum J, Larsen KG, Skou A (2009) Model-based framework for schedulability analysis using Uppaal 4.1. In: Nicolescu G, Mosterman P (eds) Model-based design for embedded systems, pp 93–119