Modeling and Simulation Method of Ship Availability for Service Period | IEEE Conference Publication | IEEE Xplore