Hu's algorithm application for task scheduling in N-version software for satellite communications control systems | IEEE Conference Publication | IEEE Xplore