Toward formal TTCN-based test execution | IEEE Conference Publication | IEEE Xplore