Safety-oriented flexible design of Autonomous Mobile Robot systems | IEEE Conference Publication | IEEE Xplore