A. Benveniste, P. Caspi, M. D. Natale, C. Pinello, and A. L. , Sangiovanni-Vincentelli, and Stavros Tripakis. Loosely time-triggered architectures based on communication-by-sampling, ICES, pp.231-239, 2007.

A. Bouillard and . Thierry, An Algorithmic Toolbox for Network Calculus, Discrete Event Dynamic Systems, vol.8, issue.1, pp.3-49, 2007.
DOI : 10.1007/s10626-007-0028-x
URL : https://hal.archives-ouvertes.fr/inria-00123643

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

A. Cohen, L. Mandel, F. Plateau, and M. Pouzet, Abstraction of Clocks in Synchronous Data-Flow Systems, PLS, vol.16, issue.2, pp.237-254, 2008.
DOI : 10.1016/0167-6423(91)90001-E
URL : https://hal.archives-ouvertes.fr/hal-01257274

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., -synchronous Kahn networks, ACM SIGPLAN Notices, vol.41, issue.1, pp.180-193, 2006.
DOI : 10.1145/1111320.1111054
URL : https://hal.archives-ouvertes.fr/hal-01158082

B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2002.
DOI : 10.1017/CBO9780511809088

W. Haid and L. Thiele, Complex task activation schemes in system level performance analysis, Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis , CODES+ISSS '07, pp.173-178, 2007.
DOI : 10.1145/1289816.1289860

M. G. Harbour, M. H. Klein, R. Obenza, B. Pollak, and T. Ralya, A Practitioner's Handbook for Real-Time Analysis, 1993.

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

R. Henia, . Hamann, . Jersak, . Racu, R. Richter et al., System level performance analysis the SymTA/S approach, CDT, vol.152, issue.2, pp.148-166, 2005.

K. Huang and L. Thiele, Performance Analysis of Multimedia Applications using Correlated Streams, 2007 Design, Automation & Test in Europe Conference & Exhibition, pp.912-917, 2007.
DOI : 10.1109/DATE.2007.364409

J. , L. Boudec, and P. Thiran, Network calculus: a theory of deterministic queuing systems for the internet, 2001.

S. Perathoner, T. Rein, L. Thiele, K. Lampka, and J. Rox, Modeling structured event streams in system level performance analysis, LCTES, vol.45, issue.4, p.37, 2010.

C. A. Petri, Interpretations of net theory, Gesellschaft für Mathematik und Datenverarbeitung, mbH Bonn, 1976.

J. Rox and R. Ernst, Modeling Event Stream Hierarchies with Hierarchical Event Models, DATE, pp.492-497, 2008.

I. M. Smarandache, T. Gautier, and P. L. Guernic, Validation of mixed signal-alpha real-time systems through affine calculus on clock synchronisation constraints, In FM, pp.1364-1383, 1999.
DOI : 10.1007/3-540-48118-4_22
URL : https://hal.archives-ouvertes.fr/hal-00548887

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

E. Wandeler, Modular performance analysis and interface-based design for embedded real-time systems, 2006.

E. Wandeler and L. Thiele, Characterizing workload correlations in multi processor hard real-time systems, 11th IEEE Real Time and Embedded Technology and Applications Symposium, 2005.
DOI : 10.1109/RTAS.2005.13