Multiple specification design in flight control system | IEEE Conference Publication | IEEE Xplore