Programming Large-Scale Multi-Robot System with Timing Constraints | IEEE Conference Publication | IEEE Xplore