@misc{indiciaea638697dc4e0,
  title = {Model-based generation of natural language specifications},
  author = {Phan Vo Thu Nhat and Maria Spichkova},
  year = {2016},
  url = {https://arxiv.org/abs/1612.01680},
  note = {Source identifier: 1612.01680}
}