Incremental Invariant Generation for Compositional Design | IEEE Conference Publication | IEEE Xplore