Certification of an airborne digital flight manual for the Gulfstream IV | IEEE Conference Publication | IEEE Xplore