A timeout-based message ordering protocol for a lightweight software implementation of TMR systems | IEEE Journals & Magazine | IEEE Xplore