RRA: Models and tools for robotics run-time adaptation | IEEE Conference Publication | IEEE Xplore