The Testing and Test Control Notation TTCN-3 and its Use | part of Formal Methods for Industrial Critical Systems: A Survey of Applications | Wiley-IEEE Press books | IEEE Xplore