Automatic Verification of Fault Tolerance Using Model Checking. - Tomoyuki Yokogawa; Tatsuhiro Tsuchiya; Tsuchiya Kikuno (PRDC, 2001)