"A Front-End Generator for Verification Tools."

Rance Cleaveland, Eric Madelaine, Steve Sims (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics