A suite of tools for debugging distributed autonomous systems | IEEE Conference Publication | IEEE Xplore