Methods for Testing and Specification (MTS); TTCN-3 Conformance Test Suite; Part 3: Abstract Test Suite (ATS) and Implementation eXtra Information for Testing (IXIT)