Evaluating system dependability in a co-design framework | IEEE Conference Publication | IEEE Xplore