A reference model in safety design of a modular service robot based on MBSE: A case study of a stocking robot in a supermarket. - Takao Miyoshi; Tetsuya Kimura (ISR, 2021)