Using analytical redundancy to increase safety of a synergistic manually guided instrument for craniotomy | IEEE Conference Publication | IEEE Xplore