Pages that link to Surgical Robots: Behaviors Specification and Reasoning