一种严格的容错系统开发方法

A rigorous approach to fault-tolerant system development