@misc{indiciae1f16f24eba04,
  title = {TeSSLa: Temporal Stream-based Specification Language},
  author = {Lukas Convent and Sebastian Hungerecker and Martin Leucker and Torben Scheffel and Malte Schmitz and Daniel Thoma},
  year = {2018},
  url = {https://arxiv.org/abs/1808.10717},
  note = {Source identifier: 1808.10717}
}