A Categorical Modelling Framework for Multi-robot Systems in Manufacturing | IEEE Conference Publication | IEEE Xplore