Application of contract-based verification techniques for hybrid automata to surgical robotic systems