@InProceedings{David:2002:FASE,
  author =       "Alexandre David and M. Oliver M{\"o}ller and Wang Yi",
  title =        "Formal Verification of {UML} Statecharts with Real-Time
                  Extensions",
  pages =        "218--232",
  booktitle =    "Fundamental Approaches to Software Engineering, 5th
                  International Conference, FASE 2002, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2002, Grenoble, France, April 8-12, 2002,
                  Proceedings",
  editor =       "Ralf-Detlef Kutsche and Herbert Weber",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2306",
  year =         "2002",
}