digraph finite_state_machine {
	rankdir=TB;
	size="8,5"
	node [shape = doublecircle]; DISCONNECTED CONNECTED;
	node [shape = circle];
	DISCONNECTED -> INITIALIZED [ label = "receiveMsgConnect" ];
	INITIALIZED -> DROPPED [ label = "dropExitingConnection" ];
	INITIALIZED -> CONNECTED [ label = "createClientSession" ];
	DROPPED -> CONNECTED [ label = "createClientSession" ];
}