Agricultural machinery and tractors. Safety of partially automated, semi-autonomous and autonomous machinery - Verification methods and validation principles