An approach to model driven testing functional and real-time testing with UML 2.0, U2TP and TTCN-3 - Dai, Zhen Ru (IRB-Verl., 2006)