An ensemble-level programming model with real-time support for multi-robot systems | IEEE Conference Publication | IEEE Xplore