L. Boudec, J. Y. Thiran, and P. , Network Calculus, LNCS, vol.2050, 2001.

C. S. Chang, Performance Guarantees in communication networks. Telecommunication Networks and Computer Systems, 2000.

J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, Uppaal -a tool suite for automatic verification of real-time systems, Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems. Number 1066 in LNCS, pp.232-243, 1995.

T. Hune, J. Romijn, and F. Va, Linear parametric model checking of timed automata, Journal of Logic and Algebraic Programming, 2001.

K. Tindell and J. Clark, Holistic schedulability analysis for distributed hard real-time systems, ), pp.117-134, 1994.
DOI : 10.1016/0165-6074(94)90080-9

R. I. Davis, A. Burns, R. J. Bril, and J. J. Lukkien, Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised, Real-Time Systems, vol.3, issue.8, pp.239-272, 2007.
DOI : 10.1007/s11241-007-9012-7

J. Migge, L'ordonnancement sous contraintes temps réel: un modelé a base de trajectoires ? Real-time scheduling: a trajectory based model, 1999.

S. Martin, P. Minet, and L. George, The Trajectory Approach for the End-to-End Response Times with Non-preemptive FP/EDF*, Proceedings of the Int. Conf. on Software Engineering Research and Applications, pp.229-247, 2004.
DOI : 10.1007/11668855_17

R. L. Cruz, A calculus for network delay. I. Network elements in isolation, IEEE Transactions on Information Theory, vol.37, issue.1, pp.114-131, 1991.
DOI : 10.1109/18.61109

R. L. Cruz, A calculus for network delay. II. Network analysis, IEEE Transactions on Information Theory, vol.37, issue.1, pp.132-141, 1991.
DOI : 10.1109/18.61110

M. Fidler, Survey of deterministic and stochastic service curve models in the network calculus, IEEE Communications Surveys & Tutorials, vol.12, issue.1, 2010.
DOI : 10.1109/SURV.2010.020110.00019

F. Baccelli, G. Cohen, G. J. , O. Quadrat, and J. P. , Synchronization and Linearity, An algebra for discrete event systems, Volume, vol.ISBN, pp.978-0471936091, 1992.

W. , T. K. Burns, and A. , Guaranteeing message latencies on controller area network (CAN), Proceedings of 1st international CAN conference, pp.1-11, 1994.

J. Schmitt, F. Zdarsky, and M. Fidler, Delay Bounds under Arbitrary Multiplexing: When Network Calculus Leaves You in the Lurch..., IEEE INFOCOM 2008, The 27th Conference on Computer Communications, 2008.
DOI : 10.1109/INFOCOM.2008.228

L. Lenzini, E. Mingozzi, and G. Stea, Delay bounds for FIFO aggregates: a case study, Computer Communications, vol.28, issue.3, pp.287-299, 2004.
DOI : 10.1016/j.comcom.2004.10.003

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

Y. Jiang and Y. Liu, Stochastic Network Calculus. Computer Communication and Networks, 2009.

J. B. Schmitt and F. A. Zdarsky, The DISCO network calculator -a toolbox for worst case analysis, Proceedings of the First International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'06), 2006.

M. Andrews, Instability of FIFO in session-oriented networks, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms (SODA'00), pp.440-447, 2000.
DOI : 10.1016/S0196-6774(03)00096-8

G. Rizzo, L. Boudec, and J. Y. , Stability and Delay Bounds in Heterogeneous Networks of Aggregate Schedulers, IEEE INFOCOM 2008, The 27th Conference on Computer Communications, pp.1490-1498, 2008.
DOI : 10.1109/INFOCOM.2008.208

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

H. Charara and C. Fraboul, Modelling and simulation of an avionics full duplex switched Ethernet, Advanced Industrial Conference on Telecommunications/Service Assurance with Partial and Intermittent Resources Conference/E-Learning on Telecommunications Workshop (AICT/SAPIR/ELETE'05), pp.207-212, 2005.
DOI : 10.1109/AICT.2005.58

F. Frances, C. Fraboul, and J. Grieu, Using network calculus to optimize AFDX network, Proceeding of the 3thd European congress on Embedded Real Time Software (ERTS06), 2006.

M. Boyer and C. Fraboul, Tightening end to end delay upper bound for AFDX network with rate latency FCFS servers using network calculus, Proc. of the 7th IEEE Int. Workshop on Factory Communication Systems Communication in Automation, pp.11-20, 2008.

A. Bouillard, L. Jouhet, and E. Thierry, Service curves in Network Calculus: dos and don'ts, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00431674

A. Bouillard, L. Jouhet, and E. Thierry, Tight performance bounds in the worstcase analysis of feed-forward networks, Proc. of the 19th IEEE International Conference on Computer Communications, pp.1-9, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00408717

A. Bouillard, L. Jouhet, and E. Thierry, Tight performance bounds in the worst-case analysis of feed-forward networks, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00408717

A. Bouillard, L. Jouhet, and E. Thierry, Comparison of different classes of service curves in Network Calculus, Proc. of the 10th International Workshop on Discrete Event Systems, 2010.
DOI : 10.3182/20100830-3-DE-4013.00051

L. Lenzini, L. Martorini, E. Mingozzi, and G. Stea, Tight end-to-end per-flow delay bounds in FIFO multiplexing sink-tree networks, Performance Evaluation, vol.63, issue.9-10, pp.956-987, 2005.
DOI : 10.1016/j.peva.2005.10.003

M. Boyer, NC-maude: maude for computation of worst bounds on real-time (embedded ) networks, 2010.

M. Boyer, PEGASE home page, 2010.