Dixon, Clare, Winfield, Alan F.T., Fisher, Michael, Zeng, Chengxiu, "Towards temporal verification of swarm robotic systems", Robotics and Autonomous Systems, 2012