Model checking flight control systems: The Airbus experience | IEEE Conference Publication | IEEE Xplore