A Practical Guide for SystemVerilog Assertions - Vijayaraghavan, Srikanth; Ramanathan, Meyyappan (Springer US, 2005)