Combining system-theoretic process analysis and availability assessment: A subsea case study · Study