Stefan Krischer The Backward Walk Approach in FSM Verification. 155-162 1993 conf/chdl/1993 CHDL db/conf/chdl/chdl1993.html#Krischer93