A Practical Guide for SystemVerilog Assertions - Vijayaraghavan, Srikanth (Springer Science+Business Media, Inc., 2005)