An approach to synchronize redundant flight critical computers using cross channel data links | IEEE Conference Publication | IEEE Xplore