TTCN‐3 Test Systems in Practice | part of An Introduction to TTCN-3 | Wiley Telecom books | IEEE Xplore