@inproceedings {WTUML01,
	title = {Automatic Transformation of {UML} Models for System Verification},
	booktitle = {WTUML{\textquoteright}01: Workshop on Transformations in UML},
	year = {2001},
	month = {April 7th},
	pages = {123{\textendash}127},
	address = {Genova, Italy},
	abstract = {<p>
	The design of complex, dependable systems requires a precise formal verification of design decisions during the system modelling phase. For that reason, the mathematical models of various formal verification tools are planned to be automatically derived from the system model described by UML-diagrams. In the current paper, a general framework for an automated model transformation system is outlined providing a uniform formal description method of such transformations by applying the powerful computational paradigm of graph transformation.</p>
},
	keywords = {formal verification, model transformation, UML},
	url = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2001/wtuml2001_vgyp.pdf},
	author = {D{\'a}niel Varr{\'o} and Szilvia Gyapay and Andr{\'a}s Pataricza},
	editor = {Jon Whittle}
}
