FACE Configurator: A Code Generation Tool for Automatic Flight Control Systems | IEEE Conference Publication | IEEE Xplore