英德拉尼尔·萨哈 苏曼·罗伊0001 S.Ramesh 0002公司 时间触发体系结构容错启动算法的形式化验证：综述。 904-922 2016 104 程序。美国电气工程师协会 5 https://doi.org/10.109/JPROC.2016.2519247 db/journals/pieee/pieee104.html#SahaRR16