ETSIES201873-1V3.2.1(2007-02)MethodsforTestingandSpecification(MTS);TheTestingandTestControlNotationversion3;Part1:TTCN-3CoreLanguage