Chapter 4: 

High-Fidelity Verification Analysis as Decision Support