@Inproceedings{EPTCS135.4,
  author    = {Cosentino, Valerio and Tisi, Massimo and B\"uttner, Fabian},
  year      = {2013},
  title     = {Analyzing Flowgraphs with ATL},
  editor    = {Van Gorp, Pieter and Rose, Louis M. and Krause, Christian},
  booktitle = {{\rm Proceedings Sixth}
               Transformation Tool Contest,
               {\rm Budapest, Hungary, 19-20 June, 2013}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {135},
  publisher = {Open Publishing Association},
  pages     = {32-36},
  doi       = {10.4204/EPTCS.135.4},
}