@InBook{Schieferdecker2008f,
  author    = {Ina Kathrin Schieferdecker and Jens Grabowski and Theofanis Vassiliou-Gioles and George Din},
  booktitle = {Formal Methods and Testing},
  title     = {The Test Technology {TTCN-3}},
  doi       = {10.1007/978-3-540-78917-8_10},
  isbn      = {978-3-540-78916-1},
  pages     = {292--319},
  publisher = {Springer Science and Business Media},
  abstract  = {The Testing and Test Control Notation (TTCN-3) is a widely established test technology traditionally used in the telecommunication domain. In its new version, TTCN-3 has a wider scope and applicability. It can be applied not only for testing the conformance and interoperability of communication protocols but also for testing the functionality, interoperation and performance of software-based systems in general. Therefore, TTCN-3 is nowadays used in other domains such as automotive, railways, avionics, or security systems. This chapter introduces the concepts of the TTCN-3 language and provides examples of its practical use.},
  file      = {:2008/Schieferdecker2008f - The Test Technology TTCN 3.pdf:PDF},
  type      = {inbook},
  year      = {2008}
}