Formal verification an essential toolkit for modern VLSI design - Seligman, Erik (Elsevier Science, 2015)
Includes index. - How Do We Reach Targeted Behaviors?