Seol mar théacs é seo: Reliability assessment for liquefied natural gas ship's distributed control system [electronic resource] /