Better Design for Reliability with Fast and Effective Specification Comparison | IEEE Conference Publication | IEEE Xplore