Pages that link to Using the mutual exclusion protocol for safety in the area of robotic surgery