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