Design, Analysis and Test of Logic Circuits Under Uncertainty by John Hayes