K. Altisen and &. Moy, Connecting Real-Time Calculus to the Synchronous Programming Language Lustre, 2009.

K. Altisen and &. Moy, Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00442257

R. Alur, &. David, and 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

G. Behrmann, K. G. Larsen, and &. J. Rasmussen, Optimal scheduling using priced timed automata, ACM SIGMETRICS Performance Evaluation Review, vol.32, issue.4, pp.34-40, 2005.
DOI : 10.1145/1059816.1059823

A. Bogliolo, L. Benini, E. Lattanzi, and &. Micheli, Specification and analysis of power-managed systems, Proceedings of the IEEE, pp.1308-1346, 2004.
DOI : 10.1109/JPROC.2004.831207

S. Chakraborty, S. Künzli, and &. L. Thiele, A general framework for analysing system properties in platform-based embedded system designs, 2003 Design, Automation and Test in Europe Conference and Exhibition, 2003.
DOI : 10.1109/DATE.2003.1253607

S. Künzli, A. Hamann, R. Ernst, and L. Thiele, Combined approach to system level performance analysis of embedded systems, Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis , CODES+ISSS '07, 2007.
DOI : 10.1145/1289816.1289835

K. Lampka, S. Perathoner, and &. Lothar-thiele, Analytic real-time analysis and timed automata, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, 2009.
DOI : 10.1145/1629335.1629351

Y. Liu, K. , and M. Moy, Granularity-based Interfacing between RTC and Timed Automata Performance Models, p.38610, 2009.

. Gières, Available at http://www-verimag.imag.fr/index.php?, pp.page=techrep-list

M. Moy and &. Karine-altisen, Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions, 2009.
DOI : 10.1007/978-3-642-12002-2_31
URL : https://hal.archives-ouvertes.fr/hal-00442257

S. Perathoner, E. Wandeler, and &. Lothar-thiele-etc, Influence of different system abstractions on the performance analysis of distributed real-time systems, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, 2007.
DOI : 10.1145/1289927.1289959

T. X. Linh, S. Phan, &. Chakraborty, and . Thiagarajan, A Multi-mode Real-Time Calculus, 2008.

T. X. Linh, S. Phan, P. Chakraborty, &. Thiagarajan, and . Lothar-thiele, Composing Functional and State-based Performance Models for Analyzing Heterogeneous Real-Time Systems, 2007.

S. Schliecker, S. Stein, and &. Ernst, Performance Analysis of Complex Systems by Integration of Dataflow Graphs and Compositional Performance Analysis, 2007 Design, Automation & Test in Europe Conference & Exhibition, 2007.
DOI : 10.1109/DATE.2007.364603

L. Thiele and S. Chakraborty-&-martin-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