Mastering safety and reliability in a model based process | IEEE Conference Publication | IEEE Xplore