@misc{indiciaebd154142a8e4,
  title = {The LTS WorkBench},
  author = {Alceste Scalas and Massimo Bartoletti},
  year = {2015},
  doi = {10.4204/eptcs.189.8},
  url = {https://arxiv.org/abs/1508.04853},
  note = {Source identifier: 1508.04853}
}