Improving the Consistency Checking Process by Reusing Formal Verification Knowledge | Publicación