Gabor Batori Domonkos Asztalos Using TTCN-3 for Testing Platform Independent Models. 304-317 2005 conf/pts/2005 TestCom http://dx.doi.org/10.1007/11430230_21 db/conf/pts/testcom2005.html#BatoriA05