Scrub nurse robot system-intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery | IEEE Journals & Magazine | IEEE Xplore