Proof and system-reliability [proceedings of the NATO Advanced Study Institute on Proof and System-Reliability Marktoberdorf, Germany 24 July - 5 August 2001] - Schwichtenberg, Helmut 1942- (Kluwer, 2002)