The Power of Assertions in SystemVerilog - Cerny, Eduard (Springer US, 2011)