Applied Formal Verification door Douglas L. Perry & Harry Forster