Safety critical avionics for the 777 primary flight controls system | IEEE Conference Publication | IEEE Xplore