Helmut Neukirchen Benjamin Zeiss Jens Grabowski Paul Baker Dominic Evans Quality assurance for TTCN-3 test specifications. 71-97 2008 18 Softw. Test., Verif. Reliab. 2 http://dx.doi.org/10.1002/stvr.379 db/journals/stvr/stvr18.html#NeukirchenZGBE08