IEE Colloquium on Proof of Designed Reliability (Digest No. 1994/239)