Case Study: Deepwater Design, Verification, and Validation Testing for Production Packers in HPHT Environments