@INPROCEEDINGS{forms2003:prolan,
  author = {A. Pataricza and I. Majzik and G. Huszerl and Gy. V\'{a}rnai},
  title = {{UML}-based Design and Formal Analysis of a Safety-Critical Railway
     Control Software Module},
  booktitle = {Formal Methods for Railway Operation and Control Systems
     (Proceedings of Symposium FORMS-2003, Budapest, Hungary, May 15-16)},
  year = {2003},
  pages = {125-132},
  editor = {G. Tarnai and E. Schnieder},
  publisher = {L' Harmattan, Budapest},
  annote = {}
}