Early UML Model Testing using TTCN-3 and the UML Testing Profile | IEEE Conference Publication | IEEE Xplore