Approximate retrieval of incomplete and formal specifications applied to vertical reuse | IEEE Conference Publication | IEEE Xplore