Towards temporal verification of swarm robotic systems. - Clare Dixon; Alan F. T. Winfield; Michael Fisher 001; Chengxiu Zeng (Robotics Auton. Syst., 2012)