@misc{indiciae4df5812e5145,
  title = {Analyzing Flowgraphs with ATL},
  author = {Valerio Cosentino and Massimo Tisi and Fabian Büttner},
  year = {2013},
  doi = {10.4204/eptcs.135.4},
  url = {https://arxiv.org/abs/1312.0343},
  note = {Source identifier: 1312.0343}
}