BS EN ISO 18497-4. Agricultural machinery and tractors. Safety of partially automated, semi-autonomous and autonomous machinery - Part 4. Verification methods and principles