J. P. Bowen and M. G. Hinchey, Ten Commandments of Formal Methods ...Ten Years Later, Computer, vol.39, issue.1, pp.41-48, 2006.
DOI : 10.1109/MC.2006.35

S. Burleigh, M. Ramadas, and S. Farrell, « Licklider Transmission Protocol ? Motivation », Internet draft, draft-irtf-dtnrg-ltp-motivation-02.txt, mars, 2006.

G. Buttazzo, Rate Monotonic vs. EDF: Judgment Day, Real-Time Systems, vol.29, issue.1, pp.5-26, 2005.
DOI : 10.1023/B:TIME.0000048932.30002.d9

. Cerf, Architectural Definition », Internet draft, draft-irtf- ipnrg-arch-00.txt, « Interplanetary Internet (IPN, 2001.

T. Chandra and S. Toueg, Unreliable failure detectors for reliable distributed systems, Journal of the ACM, vol.43, issue.2, pp.225-267, 1996.
DOI : 10.1145/226643.226647

B. Charron-bost and A. Schiper, « The Heard-Of Model: Unifying all Benign Failures, EPFL (CH), vol.37, 2006.

D. Dolev, C. Dwork, and L. Stockmeyer, « On the Minimal Synchronism Needed for Distributed Consensus, Journal of the ACM, vol.34, pp.1-77, 1987.

D. Dolev, N. A. Lynch, S. S. Pinter, E. W. Stark, and W. E. Weihl, Reaching approximate agreement in the presence of faults, Reaching Approximate Agreement in the Presence of Faults, pp.499-516, 1986.
DOI : 10.1145/5925.5931

M. J. Fischer, N. A. Lynch, and M. S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985.
DOI : 10.1145/3149.214121

J. Gray and L. Lamport, Consensus on transaction commit, Consensus on Transaction Commit, pp.133-160, 2006.
DOI : 10.1145/1132863.1132867

A. A. Hanbali, E. Altman, and P. Nain, A survey of TCP over ad hoc networks, IEEE Communications Surveys & Tutorials, vol.7, issue.3, pp.3-22, 2005.
DOI : 10.1109/COMST.2005.1610548
URL : https://hal.archives-ouvertes.fr/inria-00071406

J. Hermant, L. Lann, and G. , Fast asynchronous uniform consensus in real-time distributed systems, IEEE Transactions on Computers, vol.51, issue.8, pp.931-944, 2002.
DOI : 10.1109/TC.2002.1024740

T. Hoare, The verifying compiler: A grand challenge for computing research, Journal of the ACM, vol.50, issue.1, pp.63-69, 2003.
DOI : 10.1145/602382.602403

C. Honvault, L. Roy, M. Gula, P. Fabre, J. C. et al., Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems, Proceedings of the 5 th European Conference on Dependable Computing (EDCC-5), pp.3463-140, 2005.
DOI : 10.1007/11408901_10

T. Karnik, P. Hazucha, and J. Patel, Characterization of soft errors caused by single event upsets in CMOS processes, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.2, pp.2-128, 2004.
DOI : 10.1109/TDSC.2004.14

L. Lamport, R. Shostak, and M. Pease, The Byzantine Generals Problem, The Byzantine Generals Problem, pp.382-401, 1982.
DOI : 10.1145/357172.357176

L. Lann and G. , Proof-based system engineering and embedded systems, Proceedings of the European School on Embedded Systems, Veldhoven (NL), pp.1494-208, 1998.
DOI : 10.1007/3-540-65193-4_23

C. L. Liu and J. W. Layland, « Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment, Journal of the ACM, vol.20, pp.1-46, 1973.

N. A. Lynch, Distributed Algorithms, 1996.

K. A. Marzullo, Tolerating failures of continuous-valued sensors, ACM Transactions on Computer Systems, vol.8, issue.4, pp.4-284, 1990.
DOI : 10.1145/128733.128735

D. Powell, « Failure Mode Assumptions and Assumption Coverage, Proceedings of the, the 22 nd IEEE International Symposium on Fault-Tolerant Computing, pp.386-395, 1992.