Paul Baker Clive Jervis Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. 86-100 2007 conf/sdl/2007 SDL Forum http://dx.doi.org/10.1007/978-3-540-74984-4_6 db/conf/sdl/sdl2007.html#BakerJ07