Text this: Verification of correctness properties for aggregation behavior of swarm robotics system using spin model checker / Siti Shafinaz Ali