Supporting verification-driven incremental distributed design of components