Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems