Diana Alina Serbanescu Victoria Molovata George Din Ina Schieferdecker Ilja Radusch Real-Time Testing with TTCN-3. 283-301 2008 TestCom/FATES http://dx.doi.org/10.1007/978-3-540-68524-1_20 conf/pts/2008 db/conf/pts/testcom2008.html#SerbanescuMDSR08