Stav dette: An introduction to TTCN-3