Refining abstract equivalence analysis for embedded system design | IEEE Conference Publication | IEEE Xplore