Model-Driven Engineering and Safety-Critical Embedded Software | IEEE Journals & Magazine | IEEE Xplore