US8121964B2 - State Machine Method for Editing Requirements Using Transition Systems, a Sub-State Mechanism, and a Partial Behaviors Mechanism in Order to Reduce Complexity and the Number of States