Youpyo Hong Peter A. Beerel Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares. 13- 1999 conf/date/1999 DATE http://csdl.computer.org/comp/proceedings/date/1999/0078/00/00780013abs.htm db/conf/date/date1999.html#HongB99