A. Bouillard and É. Thierry, An algorithmic toolbox for network calculus. Discrete Event Dynamic Systems, 2007.
DOI : 10.1007/s10626-007-0028-x
URL : https://hal.archives-ouvertes.fr/inria-00123643

M. Boyer, J. Migge, and M. Fumey, PEGASE, a robust and efficient tool for worst case network traversal time, Proc. of the SAE 2011 AeroTech Congress & Exhibition, 2011.

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, Proceeding of the 3thd European congress on Embedded Real Time Software (ERTS'06), 2006.

M. Gordon, R. Milner, and C. Wadsworth, Edinburgh LCF: A Mechanised Logic of Computation, LNCS, vol.78, 1979.
DOI : 10.1007/3-540-09724-4

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

G. Klein, J. Andronick, K. Elphinstone, G. Heiser, D. Cock et al., seL4, Communications of the ACM, vol.53, issue.6, pp.53107-115, 2010.
DOI : 10.1145/1743546.1743574

E. Mabille, M. Boyer, L. Fejoz, and S. Merz, Towards Certifying Network Calculus, Interactive Theorem Proving, 2013.
DOI : 10.1007/978-3-642-39634-2_37
URL : https://hal.archives-ouvertes.fr/hal-00904796

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.