Model-based design and analysis of a subsea high integrity pressure protection system (HIPPS) | IEEE Conference Publication | IEEE Xplore