A Task Modelling Formalism for Industrial Mobile Robot Applications | IEEE Conference Publication | IEEE Xplore