Before revision: The users of the tool can get several complementary views of the same state machine, both visual and textual, whereas the generated code is just one of the many available views .
After revision: The users of the tool can get several complementary views of the same state machine, both visual and textual, whereas the generated code is just one of the many available views