@inproceedings {uml2003_tool,
	title = {{CheckVML}: A Tool for Model Checking Visual Modeling Languages},
	booktitle = {Proc. UML 2003: 6th International Conference on the Unified Modeling Language},
	series = {LNCS},
	volume = {2863},
	year = {2003},
	note = {Acceptance rate: 15\%},
	month = {October 20-24},
	pages = {92{\textendash}95},
	publisher = {Springer},
	organization = {Springer},
	address = {San Francisco, CA, USA},
	abstract = {<p>
	In the paper, we present a tool for model checking dynamic consistency properties in arbitrary well-formed instance models of any modeling language defined visually by metamodeling and graph transformation techniques. Our tool first translates such high-level specifications into a tool independent abstract representation of transition systems defined by a corresponding metamodel. From this intermediate representation the input language of the back-end model checker tool (i.e., SPIN in our case) is generated automatically.</p>
},
	url = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2003/uml2003_sv.pdf},
	author = {{\'A}kos Schmidt and D{\'a}niel Varr{\'o}},
	editor = {Perdita Stevens and Jon Whittle and Grady Booch}
}
