@inproceedings {agtive07-toolcontest,
	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)},
	series = {Lecture Notes in Computer Science},
	volume = {5088},
	year = {2008},
	pages = {540{\textendash}565},
	publisher = {Springer},
	organization = {Springer},
	abstract = {<p>
	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.</p>
},
	keywords = {Viatra},
	author = {D{\'a}niel Varr{\'o} and M{\'a}rk Asztalos and D{\'e}nes Bisztray and Artur Boronat and Duc-Hanh Dang and Rubinho Geiss and Joel Greenyer and Pieter Van Gorp and Ole Kniemeyer and Anantha Narayanan and Edgars Rencis and Erhard Weinell},
	editor = {Andy Sch{\"u}rr and Manfred Nagl and Albert Z{\"u}ndorf}
}
