Architecture design and timing analysis of GNC system based on time-triggered architecture | IEEE Conference Publication | IEEE Xplore