A case study on the F-16 fly-by-wire flight control system