Modeling and Verification of a Robotic Surgical System using Hybrid Input/Output Automata