Writing Testbenches using System Verilog - Bergeron, Janick (Springer Science+Business Media, Inc., 2006)