Information technology. Open Systems Interconnection. Conformance testing methodology and framework - The Tree and Tabular Combined Notation (TTCN)