Dependability assessment of software-based systems: state of the art | IEEE Conference Publication | IEEE Xplore