"The STATEMATE Verification Environment - Making It Real."

Tom Bienmüller, Werner Damm, Hartmut Wittke (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics