Fault-tolerant design optimization: application to an autonomous underwater vehicle navigation system | IEEE Conference Publication | IEEE Xplore