Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage | Publicación