An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts | Publicación