@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}
}