Applications of Hierarchical Verification in Model Checking. - Robert Beers; Rajnish Ghughal; Mark D. Aagaard (CHARME, 2001)

Pre-RTL formal verification: an intel experience. - Robert Beers (DAC, 2008)