Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems | IEEE Journals & Magazine | IEEE Xplore