Reliability assessment of safety-relevant automotive systems in a model-based design flow | IEEE Conference Publication | IEEE Xplore