Innovation Welcome: An Agile Approach to Model-Based Development of Safety-Critical Embedded Systems | IEEE Conference Publication | IEEE Xplore