AC-ROS: assurance case driven adaptation for the robot operating system. - Betty H. C. Cheng; Robert Jared Clark; Jonathon Emil Fleck; Michael Austin Langford; Philip K. McKinley (MoDELS, 2020)