Y. Abdeddaïm, E. Asarin, and O. Maler, Scheduling with timed automata, Theoretical Computer Science, vol.354, issue.2, pp.272-300, 2006.
DOI : 10.1016/j.tcs.2005.11.018

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System level performance analysis -the symta/s approach, Computers and Digital Techniques, 2005.

T. Austin, E. Larson, and D. Ernst, SimpleScalar: an infrastructure for computer system modeling, Computer, vol.35, issue.2, pp.59-67, 2002.
DOI : 10.1109/2.982917

J. Boudec and P. Thiran, Network Calculus: A Theory of Deterministic Queuing Systems for the Internet, volume LNCS 2050, 2001.

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. Chakraborty, L. T. Phan, and P. S. Thiagarajan, Event Count Automata: A State-Based Model for Stream Processing Systems, 26th IEEE International Real-Time Systems Symposium (RTSS'05), 2005.
DOI : 10.1109/RTSS.2005.21

C. Chang, Performance Guarantees in Communication Networks, 2000.

E. Fersman, P. Krcál, P. Pettersson, and W. Yi, Task automata: Schedulability, decidability and undecidability. Information and Computation, pp.1149-1172, 2007.

E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, Schedulability analysis of fixed-priority systems using timed automata, Theoretical Computer Science, vol.354, issue.2, pp.301-317, 2006.
DOI : 10.1016/j.tcs.2005.11.019

W. Haid, L. Thiele, R. Henia, and R. Ernst, Complex task activation schemes in system level performance analysis Scenario aware analysis for complex event models and distributed systems, CODES+ISSS RTSS, 2007.

R. Henia, R. Racu, and R. Ernst, Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems, 2007 IEEE International Parallel and Distributed Processing Symposium, 2007.
DOI : 10.1109/IPDPS.2007.370356

K. Huang, L. Thiele, T. Stefanov, and E. Deprettere, Performance Analysis of Multimedia Applications using Correlated Streams, 2007 Design, Automation & Test in Europe Conference & Exhibition, 2007.
DOI : 10.1109/DATE.2007.364409

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

E. A. Lee and D. G. Messerschmitt, Synchronous data flow, Proceedings of the IEEE, pp.1235-1245, 1987.
DOI : 10.1109/PROC.1987.13876

O. Moreira and M. Bekooij, Self-Timed Scheduling Analysis for Real-Time Applications, EURASIP Journal on Advances in Signal Processing, vol.2007, issue.1, 2007.
DOI : 10.1007/1-4020-3454-7_4

C. Norström, A. Wall, and W. Yi, Timed automata as task models for event-driven systems, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), 1999.
DOI : 10.1109/RTCSA.1999.811218

L. T. Phan, S. Chakraborty, P. S. 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

J. Rox and R. Ernst, Modeling event stream hierarchies with hierarchical event models, DATE, 2008.

S. Schliecker, S. Stein, and R. 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, S. Chakraborty, M. Gries, and S. Künzli, A framework for evaluating design tradeoffs in packet processing architectures, 39th Design Automation Conference (DAC), 2002.

S. Tripakis, C. Pinello, A. Benveniste, A. Sangiovanni-vincentelli, P. Caspi et al., Implementing Synchronous Models on Loosely Time Triggered Architectures, IEEE Transactions on Computers, vol.57, issue.10, 2008.
DOI : 10.1109/TC.2008.81

E. Wandeler, A. Maxiaguine, and L. Thiele, Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications, Real-Time Systems, vol.20, issue.1, pp.205-225, 2005.
DOI : 10.1007/s11241-005-6885-x

E. Wandeler and L. Thiele, Real-Time Calculus (RTC) Toolbox, 2006.

E. Wandeler and L. Thiele, Workload correlations in multi-processor hard real-time systems, Journal of Computer and System Sciences, vol.73, issue.2, pp.207-224, 2007.
DOI : 10.1016/j.jcss.2006.04.005

M. Wiggers, M. Bekooij, P. Jansen, and G. Smit, Efficient computation of buffer capacities for multi-rate real-time systems with back-pressure, Proceedings of the 4th international conference on Hardware/software codesign and system synthesis , CODES+ISSS '06, 2006.
DOI : 10.1145/1176254.1176260