K. Altisen and M. Moy, Connecting real-time calculus to the synchronous programming language lustre, 2009.

A. Bouillard and É. Thierry, An algorithmic toolbox for network calculus. Discrete Event Dynamic Systems, pp.3-49, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00123643

U. University and D. Dept, Cats tool, 2007.

T. A. 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

B. Jeannet, Dynamic partitioning in linear relation analysis. application to the verification of reactive systems, Formal Methods in System Design, vol.23, issue.1, pp.5-37, 2003.
DOI : 10.1023/A:1024480913162

S. Künzli, F. Poletti, L. Benini, and L. Thiele, Combining Simulation and Formal Methods for System-Level Performance Analysis, Proceedings of the Design Automation & Test in Europe Conference, pp.236-241, 2006.
DOI : 10.1109/DATE.2006.244109

K. Lampka, S. Perathoner, and L. 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

C. L. Liu and J. W. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

Y. Liu, K. Altisen, and M. Moy, Granularity-based interfacing between RTC and timed automata performance models, 2009.

L. Mokrushin, Compositional analysis of timed systems by abstraction. PowerPoint Slides, 2007.

M. Moy and K. 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

T. X. Linh, S. Phan, P. S. Chakraborty, L. Thiagarajan, and . Thiele, Composing functional and state-based performance models for analyzing heterogeneous real-time systems, Real-Time Systems Symposium, pp.343-352, 2007.

P. Raymond, Compilation efficace d'un langage declaratif synchrone: Le generateur de code Lustre-v3, pp.119-123, 1991.
URL : https://hal.archives-ouvertes.fr/tel-00198546

P. Raymond, Lustre v4 Manual. Verimag, 2000.

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