Industrial deployment of the TTCN-3 testing technology | IEEE Journals & Magazine | IEEE Xplore