Formal reliability analysis of combinational circuits using theorem proving
scientific article; zbMATH DE number 5911157