@article{pinter-annales-2009,
  author={Gergely Pinter and Zoltan Micskei and Istvan Majzik},
  year={2009},
  title={Supporting design and development of safety critical applications by model based tools},
  journal={Annales Universitatis Scientiarum Budapestinensis de Rolando E{\"o}tv{\"o}s nominatae Sectio Computatorica},
  volume={XXX},
  pages={61--78},
  abstract={Application of computer based systems in safety critical areas like automotive on-board equipments, railway control etc. poses high dependability requirements against software artifacts. This paper outlines a coherent tool-chain providing formally well-established support for the key phases of developing dependable software involving simulation, static model checking, automatic code generation, test case synthesis and runtime error detection. Our approach focuses on modeling behavioral aspects of event triggered state-based systems using UML 2.0 statecharts as specification formalism. The application example analyzed in the paper was taken from the railway control domain.}
}