@misc{indiciaeb14fa4d0e4a1,
  title = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation},
  author = {John P. Gallagher and Rob van Glabbeek and Wendelin Serwe},
  year = {2018},
  doi = {10.4204/eptcs.268},
  url = {https://arxiv.org/abs/1803.08668},
  note = {Source identifier: 1803.08668}
}