@inproceedings{pinter-splst-2007,
  author={Gergely Pint{\'e}r and Zolt{\'a}n Micskei and Istv{\'a}n Majzik},
  year={2007},
  title={Supporting Design and Development of Safety Critical Applications by Model Based Tools},
  booktitle={Proceedings of the 10th Symposium on Programming Languages and Software Tools (SPLST 2007)},
  publisher={Eotvos University Press},
  editor={Zolt{\'a}n Horv{\'a}th and L{\'a}szl{\'o} Kozma and Vikt{\'o}rai Zs{\'o}k},
  pages={61--75}
}