M. Boyer, N. Navet, X. Olive, and E. Thierry, The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus, 4th Intl. Symp. Leveraging Applications, pp.122-136, 2010.
DOI : 10.1016/j.peva.2005.10.003
URL : https://hal.archives-ouvertes.fr/inria-00551504

F. Frances, C. Fraboul, and J. Grieu, Using network calculus to optimize AFDX network, Proc. 3thd Europ. Cong. Embedded Real Time Software (ERTS'06), 2006.

J. Grieu, Analyse etévaluationetévaluation de techniques de commutation Ethernet pour l'interconnexion des systèmes avioniques, 2004.

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

T. Nipkow, L. Paulson, M. Wenzel, /. Isabelle, and . Hol, A Proof Assistant for Higher- Order Logic. Number 2283 in Lecture Notes in Computer Science, 2002.