TTCN‐3 by Example | part of An Introduction to TTCN-3 | Wiley Telecom books | IEEE Xplore