On Availability Determination for MSS Cold Water Supply System by Lz-Transform: Case Study | IEEE Conference Publication | IEEE Xplore