马可·波扎诺 亚历山德罗·西马蒂 克里斯蒂安·马塔雷 冗余架构的正式可靠性分析。 59至94 2019 31 形式方面计算。 1 https://doi.org/10.1007/s00165-018-0475-1 db/journals/fac/fac31.html#BozzanoCM19