ETSIES201873-4V3.2.1(2007-02)ETSIStandardMethodsforTestingandSpecification(MTS);TheTestingandTestControlNotationversion3;Part4:TTCN-3OperationalSemantics