Scale-Invariant Specifications for Human-Swarm Systems | AMiner