Added HPC verification reference
First draft of chapter