Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey | IEEE Journals & Magazine | IEEE Xplore