Integrating StateProperty to RequirementModel