Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System. - Karama Kanoun; Marie Borrel; Thierry Morteveille; Alain Peytavin (FTCS, 1996)

Availability of CAUTRA, a Subset of the French Air Traffic Control System. - Karama Kanoun; Marie Borrel; Thierry Morteveille; Alain Peytavin (IEEE Trans. Computers, 1999)