@InProceedings{Schmidt:2003:UML,
  author =       "{\'A}kos Schmidt and D{\'a}niel Varr{\'o}",
  title =        "Check{VML}: A Tool for Model Checking Visual Modeling
                  Languages",
  pages =        "92--95",
  booktitle =    "{UML} 2003 - The Unified Modeling Language. Model
                  Languages and Applications. 6th International Conference,
                  San Francisco, {CA}, {USA}, October 2003, Proceedings",
  editor =       "Perdita Stevens and Jon Whittle and Grady Booch",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2863",
  year =         "2003",
}