Performance regression testing and run-time verification of components in robotics systems. (17th November 2017)