Tom Bienmüller Werner Damm Hartmut Wittke The STATEMATE Verification Environment - Making It Real. 561-567 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#BienmullerDW00