Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination