"Model Checking in Industrial Hardware Design."

Jörg Bormann et al. (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics