Application of TTCN-3 test language to testing information systems in eHealth domain | IEEE Conference Publication | IEEE Xplore