A taxonomy of validation strategies to ensure the safe operation of highly automated vehicles. Issue 1 (11th December 2021)