Return to Article Details A New Mathematical Formalism for the TTCN 3 core language Download Download PDF