Design for Reliability: Information and Computer-Based Systems - Bauer (IEEE, 2010)