Pusher-watcher: an approach to fault-tolerant tightly-coupled robot coordination | IEEE Conference Publication | IEEE Xplore