Finn Kristoffersen Thomas Walter TTCN: Towards a Formal Semantics and Validation of Test Suites. 15-47 1996 29 Computer Networks and ISDN Systems 1 db/journals/cn/cn29.html#KristoffersenW96 http://dx.doi.org/10.1016/S0169-7552(96)00016-5