Methods for Testing and Specification (MTS); The IDL to TTCN-3 Mapping