An Approach for the Synthesis of State Transition Graphs from Use Cases