Applied Formal Verification by Douglas L. Perry & Harry Forster