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), 2000.
DOI : 10.1109/ISCAS.2000.858698

K. Lampka, S. Perathoner, and L. Thiele, Analytic realtime analysis and timed automata: A hybrid method for analyzing embedded real-time systems, EMSOFT, 2009.

K. Altisen, Y. Liu, and M. Moy, Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata, QAPL, 2010.
DOI : 10.4204/EPTCS.28.2
URL : https://hal.archives-ouvertes.fr/hal-00450292

J. Bergerand, P. Caspi, N. Halbwachs, D. Pilaud, and E. Pilaud, Outline of a real time data-flow language, RTSS, 1985.

S. Künzli and L. Thiele, Generating event traces based on arrival curves, MMB, 2006.

L. T. Phan, S. Chakraborty, P. Thiagarajan, and L. Thiele, Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), 2007.
DOI : 10.1109/RTSS.2007.46

B. Jeannet, Dynamic partitioning in linear relation analysis. application to the verification of reactive systems, Formal Methods in System Design, 2003.

G. Hagen and C. Tinelli, Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques, 2008 Formal Methods in Computer-Aided Design, 2008.
DOI : 10.1109/FMCAD.2008.ECP.19

L. Morel, J. Babau, and B. Ben-hedia, Formal modelling framework of data acquisition modules using a synchronous approach for timing analysis, WRT- P/RTS, 2009.

N. Halbwachs, F. Lagnier, and C. , Programming and verifying critical systems by means of the synchronous data-flow programming language lustre, Transactions on Software Engineering, 1992.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, AMAST, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

L. Gonnord and N. Halbwachs, Combining Widening and Acceleration in Linear Relation Analysis, Lecture Notes in Computer Science, 2006.
DOI : 10.1007/11823230_10
URL : https://hal.archives-ouvertes.fr/hal-00189614

M. Moy and K. Altisen, ac2lus: Bringing SMT-solving and abstract interpretation techniques to real-time calculus through the synchronous language lustre, Verimag , Tech. Rep. TR, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00475745

J. Boudec and P. Thiran, Network Calculus, 2001.

K. Altisen and M. Moy, Arrival curves for real-time calculus: the causality problem and its solutions, TACAS, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00442257

B. Jonsson, S. Perathoner, L. Thiele, and W. Yi, Cyclic dependencies in modular performance analysis, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, 2008.
DOI : 10.1145/1450058.1450083