"Methodology and System for Practical Formal Verification of Reactive Hardware."

Ilan Beer et al. (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics