Modeling and Analysis of Safety Requirements in Robot Navigation with an Extension of UML MARTE | IEEE Conference Publication | IEEE Xplore