@inproceedings{BeckertChaEA2017,
  title     = {Generalised Test Tables: A Practical Specification 
               Language for Reactive Systems},
  author    = {Bernhard Beckert and Suhyun Cha and Mattias Ulbrich
               and Birgit Vogel-Heuser and Alexander Weigl},
  booktitle = {13th International Conference on Integrated Formal Methods
               (iFM 2017)},
  series    = {LNCS 10510},
  pages     = {129--144},
  publisher = {Springer},
  year      = {2017}
}