"The STATEMATE Verification Environment - Making It Real."

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