Safety assurance of an industrial robotic control system using hardware/software co-verification