Synthesis of the State Transitions
Example of Description and Synthesis
- 74 -