P. L. Fu. Design Methodology for System Correctness: Lessons from the Tandem Nonstop CLX. In COMPCON 88, Digest of Papers, Thirty-Third IEEE Computer Society International Conference, San Francisco, California, USA, February 29 - March 4, 1988. pages 525-531, IEEE Computer Society, 1988.
Abstract is missing.