ICP and IC3 | IEEE Conference Publication | IEEE Xplore