Anna Slobodová: Formal Verification Methods for Industrial Hardware Design. SOFSEM 2001: 116-135