selected publications

• conference paper

  • Model Based Development of Safety-Critical Systems Using Template Based Code Generation 2007