The General Dynamics Case Study on the F-16 Fly-By-Wire Flight Control System (Case Studies)