Modeling of Surgical Procedures Using Statecharts for Semi-Autonomous Robotic Surgery | IEEE Journals & Magazine | IEEE Xplore