Reliability properties assessment at system level: a co-design framework | IEEE Conference Publication | IEEE Xplore