Incremental construction of systems: an efficient characterization of the lacking sub-system