Top-Level Modeling and Simulation of Civil Aircraft Fly-by-Wire Flight Control System for Airworthiness Compliance Verification in Virtual Flight Testing | IEEE Conference Publication | IEEE Xplore