Helmut Neukirchen Benjamin Zeiss Jens Grabowski An approach to quality engineering of TTCN-3 test specifications. 309-326 2008 10 STTT 4 http://dx.doi.org/10.1007/s10009-008-0075-0 db/journals/sttt/sttt10.html#NeukirchenZG08