Model based TTCN-3 testing of industrial automation systems — First results | IEEE Conference Publication | IEEE Xplore