Quantitative Analysis of Software Fault-tolerance Design Modes Based on Probabilistic Model Checking. - Qi Shao; Weiwei Chen; Fuping Zeng; Zhijie Gao; Zhiyu Duan; Ouya Lin (QRS Companion, 2021)