Proof And System-Reliability by Helmut Schwichtenberg & R. Steinbruggen