@misc{indiciae10da39729c9f,
  title = {Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination},
  author = {Diego Latella and Mieke Massink},
  year = {2017},
  doi = {10.4204/eptcs.250.6},
  url = {https://arxiv.org/abs/1707.04126},
  note = {Source identifier: 1707.04126}
}