A formal approach to self-configurable swarm-based space-exploration systems | IEEE Conference Publication | IEEE Xplore