A new task model for COTS-based N-modular redundant systems | IEEE Conference Publication | IEEE Xplore