Randal E. Bryant System modeling and verification with UCLID. 3-4 2004 conf/memocode/2004 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2004.1459805 db/conf/memocode/memocode2004.html#Bryant04