British Aerospace regional jetliner digital flight guidance certification | IEEE Conference Publication | IEEE Xplore