Switching transient simulation of redundant actuation system with mechanical backup | IEEE Conference Publication | IEEE Xplore