Pusher-watcher: an approach to fault-tolerant tightly-coupled robot coordination | Synapse