Functional Safety Verification for Autonomous UGVs—Methodology Presentation and Implementation on a Full-Scale System | IEEE Journals & Magazine | IEEE Xplore