Wijs. The HIVE Tool for Informed Swarm State Space Exploration. Open Publishing Association, Oct. 2011, doi:10.4204/eptcs.72.10.