Integrative analysis of state-based requirements for completeness and consistency