Challenges when using Model Driven Architecture in the development of Safety Critical Software | IEEE Conference Publication | IEEE Xplore