  Model-based engineering promises to boost productivity and quality of complex
systems development. In the context of safety-critical systems, a traditionally
highly regulated and conservative domain, the use of models gained importance
in the recent years. In this paper, we present a set of practical challenges in
developing safety-critical systems with the help of several examples of
development projects that belong to different application domains. Following
this, we show how could the adoption of model-based engineering for the
development of safety-critical systems cope with these challenges.
