selected publications conference paper Model Based Development of Safety-Critical Systems Using Template Based Code Generation. . 2007