Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot | IEEE Conference Publication | IEEE Xplore