A workbench for building models based on the UML Testing Profile (http://utp.omg.org/)