Robot Swarms as Hybrid Systems: Modelling and Verification