A Verification Methodology for Safety Assurance of Robotic Autonomous Systems