R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, Lecture Notes on Concurrency and Petri Nets, 2004.
DOI : 10.1007/978-3-540-27755-2_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8701

F. Cassez and K. Larsen, The Impressive Power of Stopwatches, Proc. of CONCUR 2000: Concurrency Theory, pp.138-152, 1999.
DOI : 10.1007/3-540-44618-4_12

A. David, J. Illum, K. G. Larsen, and A. Skou, Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1, Model-Based Design for Embedded Systems, pp.93-119, 2009.
DOI : 10.1201/9781420067859-c4

E. Fersman, P. Pettersson, and W. Yi, Timed Automata with Asynchronous Processes: Schedulability and Decidability, Proceedings of TACAS, 2002.
DOI : 10.1007/3-540-46002-0_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.8710

M. Hendriks and M. Verhoef, Timed automata based analysis of embedded system architectures, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006.
DOI : 10.1109/IPDPS.2006.1639422

T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.394-406, 1992.
DOI : 10.1109/LICS.1992.185551

K. Richter, Compositional Scheduling Analysis Using Standard Event Models, 2004.

J. Rox and R. Ernst, Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010.
DOI : 10.1109/DATE.2010.5457208

L. Thiele, S. Chakraborty, M. Gries, A. Maxiaguine, and J. Greutert, Embedded Software in Network Processors ??? Models and Algorithms, pp.416-434, 2001.
DOI : 10.1007/3-540-45449-7_29

L. Thiele, S. Chakraborty, and M. Naedele, Real-time calculus for scheduling hard real-time systems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), pp.101-104, 2000.
DOI : 10.1109/ISCAS.2000.858698

K. Tindell and J. Clark, Holistic schedulability analysis for distributed hard real-time systems, Microprocessing and Microprogramming, vol.40, issue.2-3, pp.117-134, 1994.
DOI : 10.1016/0165-6074(94)90080-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.2371