A Topology-flattening-based Automated Incremental Synthesis Method | IEEE Conference Publication | IEEE Xplore