S. Jaskó, “A New Mathematical Formalism for the TTCN 3 core language”, Period. Polytech. Elec. Eng., vol. 49, no. 3-4, pp. 163–174, Jan. 2005.