The High-Assurance ROS Framework | IEEE Conference Publication | IEEE Xplore