Updated protocol state machines, added extra class diagram, deleted wrong state machines.