Verification of the First Fault-tolerant VAX System. - William F. Bruckert; Carlos Alonso; James M. Melvin (Digit. Tech. J., 1991)