The effect of autonomous systems on the crew size of ships–a case study