ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions | IEEE Conference Publication | IEEE Xplore