Integration of model-based engineering with system safety analysis. (1st January 2013)