Model-based safety assessment: Review of the discipline and its challenges | IEEE Conference Publication | IEEE Xplore