Integrating safety analysis into the model-based development toolchain of automotive embedded systems