@Article{sosym2003_mc,
  author =	 {D{\'a}niel Varr{\'o}},
  title =	 {Automated Formal Verification of Visual
                  Modeling Languages by Model Checking},
  journal =	 {Journal of Software and Systems Modelling},
  year =	 {2003},
  OPTkey =	 {},
  OPTvolume =	 {},
  OPTnumber =	 {},
  OPTpages =	 {},
  OPTmonth =	 {},
  note =	 {Accepted to the Special Issue on Graph
                  Transformation and Visual Modelling Techniques},
  OPTannote =	 {}
}