Integrative analysis of state-based requirements for completeness and consistency

Full text