Validation of an attack-defence tree use case in the maritime industry