Writing Testbenches using System Verilog - Bergeron, Janick (Springer US, 2006)