Robust by composition: Programs for multi-robot systems | IEEE Conference Publication | IEEE Xplore