An Introduction to TTCN-3 | Wiley eBooks | IEEE Xplore