Improving Product Reliability and Software Quality by Jonathan Rodin