ROS-IvP: Porting the Interval Programming suite into the Robot Operating System for maritime autonomy | IEEE Conference Publication | IEEE Xplore