Reuse of verification efforts and incomplete specifications in a formalized, iterative and incremental software process | Publicación