Incremental construction: A study of refinement and composition based approaches | IEEE Conference Publication | IEEE Xplore