Model-Based Development of Safety-Critical Software: Safe and Efficient

Software for safety-critical systems is subject to strict requirements, and so is the way it is developed. If development is model-based, it helps developers meet these requirements.