A reference model in safety design of a modular service robot based on MBSE: A case study of a stocking robot in a supermarket | IEEE Conference Publication | IEEE Xplore