{
	"initialConfiguration" : ["a"],
	"events" : [
		{
			"event" : { "name" : "t" },
			"nextConfiguration" : ["b"]
		}
	]
}