M. Bagic Babac and D. Jevtic, “Creating TTCN-3 Test Suite from CPN Specification”, J. inf. organ. sci. (Online), vol. 37, no. 1, Jun. 2013.