Model-based integration testing of ROS packages: A mobile robot case study | IEEE Conference Publication | IEEE Xplore