この資料をSMS送信: Ship availability oriented contract management model for in-service support contracts of naval vessels