Text this: 基于 GSPN 的云控制系统容错构型建模与可靠性评估.