3 works on record
SystemVerilog assertions handbook : for dynamic and formal verification
Bullyproof
Mile below Paradise