Model-Based Performance Testing for Robotics Software Components | IEEE Conference Publication | IEEE Xplore