"Fault-Tolerance in Air Traffic Control Systems."

Flaviu Cristian, Bob Dancey, Jon Dehn (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics