Research on Integration of Safety Analysis in Model-Driven Software Development | IEEE Conference Publication | IEEE Xplore