"Shortening the verification cycle with synthesizable abstract models."

Alon Gluska, Lior Libis (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics