發送短信 : Verification of correctness properties for aggregation behavior of swarm robotics system using spin model checker / Siti Shafinaz Ali