The OMG UML Testing Profile in Use--An Industrial Case Study for the Future Internet Testing | IEEE Conference Publication | IEEE Xplore