Ship Autopilot Software - A Case Study