Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels. Model checking flight control systems: The Airbus experience. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume. pages 18-27, IEEE, 2009. [doi]
Abstract is missing.