"Automatic Verification of Abstract State Machines."

Marc Spielmann (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics