@INPROCEEDINGS{forms03_pm,
  author = {G. Pint\'{e}r and I. Majzik},
  title = {Automatic Code Generation Based on Formally Analyzed {UML}
     Statecharts},
  booktitle = {Formal Methods for Railway Operation and Control Systems
     (Proceedings of Symposium FORMS-2003, Budapest, Hungary, May 15-16)},
  year = {2003},
  pages = {45-52},
  editor = {G. Tarnai and E. Schnieder},
  publisher = {L' Harmattan, Budapest},
  annote = {}
}