Model Based Development of Safety-Critical Systems Using Template Based Code Generation | IEEE Conference Publication | IEEE Xplore