Finite state machines & UML Sequence Diagram