digraph finite_state_machine {
	rankdir=TB;
	size="8,5"
	node [shape = doublecircle]; CONNECTED DISCONNECTED;
	node [shape = circle];
	CONNECTED -> DISCONNECTED [ label = "abortConnection" ];
	CONNECTED -> CLEANED_MESSAGES [ label = "cleanStorage" ];
	CLEANED_MESSAGES -> DISCONNECTED [ label = "abortConnection" ];
	CLEANED_MESSAGES -> LISTENERS_NOTIFIED [ label = "notifyListerners" ];
	LISTENERS_NOTIFIED -> DISCONNECTED [ label = "dropConnection" ];
}