digraph model {
	0 [ label = "0[s=0]: {init}" ];
	1 [ label = "1[s=1]: {}" ];
	2 [ label = "2[s=3]: {delivered}" ];
	3 [ label = "3[s=2]: {}" ];
	0 -> 1 [ label= "1" ];
	1 -> 2 [ label= "0.9" ];
	1 -> 3 [ label= "0.1" ];
	2 -> 2 [ label= "1" ];
	3 -> 1 [ label= "1" ];
}