@InProceedings{agtive07-toolcontest,
  author = {D{\'a}niel Varr{\'o} and M{\'a}rk Asztalos and D{\'e}nes Bisztray and
              Artur Boronat and Duc-Hanh Dang and Rubino Geiss and Joel Greenyer and
              Pieter Van Gorp and Ole Kniemeyer and Anantha Narayanan and Edgars Rencis and
              Erhard Weinell},
  title = {Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools},
  booktitle = {Proc. Third International Workshop and Symposium on Applications of
  Graph Transormation with Industrial Relevance (AGTIVE 2007)},
  pages = {540--565},
  year = {2008},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5088},
  editor = {Andy Sch{\"u}rr and Manfred Nagl and Albert Z{\"u}ndorf},
  abstract = { Graph transformation provides an intuitive mechanism for
capturing model transformations. In the current paper, we investigate
and compare various graph transformation tools using a compact practical
model transformation case study carried out as part of the AGTIVE
2007 Tool Contest. The aim of this case study is to generate formal
CSP processes from high-level UML activity diagrams, which enables to
carry out mathematical analysis of the system under design.}
}