@misc{indiciaec5dbbd519e52,
  title = {Structural Synthesis for GXW Specifications},
  author = {Chih-Hong Cheng and Yassine Hamza and Harald Ruess},
  year = {2016},
  url = {https://arxiv.org/abs/1605.01153},
  note = {Source identifier: 1605.01153}
}