The power of assertions in SystemVerilog (Springer, 2010)
Includes bibliographical references (p. 535-537) and index