Implementation of High Availability Mechanisms in the Air Traffic Control SIR-S System. - E. Amadio; P. Iaboni; M. La Manna; P. Mariano (FTCS, 1994)