1. A method for providing specification requirements for a structured transition system employing state machines, said method performed using a state machine processor, and comprising: providing a sub-state based structuring mechanism that allows users to focus on the behavior with respect to a sub-set of states; providing an abstraction based structuring mechanism that allows users to specify requirements by conflating different states; providing a partial behaviors structuring mechanism that allows specification of transitions using scenarios; and employing the sub-state based structuring mechanism, the abstraction based structuring mechanism and the partial behaviors structuring mechanism to provide the writing requirements and define syntax and semantics of the system.