Alain Peytavin

Availability of CAUTRA, a Subset of the French Air Traffic Control System

Karama Kanoun, Marie Ortalo-Borrel, Thierry Morteveille, 1999, IEEE Trans. Computers.

Dependability analyses and assessment of ARTAS: ATM SURVEILLANCE TRACKER AND SERVER

Sylvain Metge, Alain Peytavin, 1998 .

Safety Analysis and Evaluation of an Air Traffic Control Computing System

Karama Kanoun, Mohamed Kaâniche, Alain Peytavin, 1996, SAFECOMP.

Modeling the dependability of CAUTRA, a subset of the French air traffic control system

Karama Kanoun, Marie Ortalo-Borrel, Thierry Morteveille, 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.