Reliable system design: Models, metrics and design techniques | IEEE Conference Publication | IEEE Xplore