A Fail-Safe Dual Channel Robot Control for Surgery Applications. - Ulrich Laible; Thomas Bürger; Günter Pritschow (SAFECOMP, 2001)