Model Checking for the Goal-Feedback-Result Pattern in ROS | IEEE Conference Publication | IEEE Xplore