@misc{indiciaeee71e7b3f9ea,
  title = {Semi-Automated Design Space Exploration for Formal Modelling},
  author = {Gudmund Grov and Andrew Ireland and Maria Teresa Llano and Peter Kovacs and Simon Colton and Jeremy Gow},
  year = {2016},
  url = {https://arxiv.org/abs/1603.00636},
  note = {Source identifier: 1603.00636}
}